| Original language | English |
|---|---|
| Publication date | 2023 |
| Publication status | Published - 2023 |
| Event | 7th Workshop on Learning in Verification - Duration: 22 Apr 2023 → … |
Workshop
| Workshop | 7th Workshop on Learning in Verification |
|---|---|
| Period | 22/04/2023 → … |
Towards Formal Specification of Reinforcement Learning
Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski
Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research › peer-review