MoGym: Using Formal Models for Training and Verifying Decision-making Agents
Authors: Timo P. Gros, Holger Hermanns, Joerg Hoffmann, Michaela Klauck, Maximilian Alexander Köhl and Verena Wolf
Paper Information
| Title: | MoGym: Using Formal Models for Training and Verifying Decision-making Agents |
| Authors: | Timo P. Gros, Holger Hermanns, Joerg Hoffmann, Michaela Klauck, Maximilian Alexander Köhl and Verena Wolf |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Formal Methods, Statistical Model Checking, Reinforcement Learning |
| Pages: | 13 |
| Talk: | Aug 10 15:20 (Session 115A: Machine Learning) |
| Paper: |  |