28th International Conference on Automated Deduction (CADE 28)
Event name
28th International Conference on Automated Deduction (CADE 28)
Start date
12-07-2021
End date
15-07-2021
Location
Virtual Event
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Neufeld, Emery ; Bartocci, Ezio ; Ciabattoni, Agata ; Governatori, Guido | A Normative Supervisor for Reinforcement Learning Agents | Konferenzbeitrag Inproceedings | 2021 |