Certified reinforcement learning with logic guidance.
Saved in:
| Title: | Certified reinforcement learning with logic guidance. |
|---|---|
| Authors: | Hasanbeig, Hosein1, Kroening, Daniel1,2, Abate, Alessandro1,3, alessandro.abate@cs.ox.ac.uk |
| Source: | Artificial Intelligence; Sep2023, Vol. 322, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00043702 |
|---|---|
| DOI: | 10.1016/j.artint.2023.103949 |
