Towards Formal Specification of Reinforcement Learning

Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning › peer review

OriginalsprogEngelsk
Publikationsdato2023
StatusUdgivet - 2023
Begivenhed7th Workshop on Learning in
Verification -
Varighed: 22 apr. 2023 → …

Workshop

Workshop7th Workshop on Learning in
Verification
Periode22/04/2023 → …

Citationsformater