Automated Deduction – CADE 28
Book title Buchtitel
Automated Deduction – CADE 28
Series Schriftenreihe
Lecture Notes in Computer Science
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 |