Learning optimal decisions for stochastic hybrid systems
Niehage, Mathis; Hartmanns, Arnd; Remke, Anne
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Saha, Indranil; Zhang, Lijun
Buchtitel: MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021
Seitenbereich: 44-55
Verlag: ACM Press
Erscheinungsort: Virtual Event, China
Status: Veröffentlicht
Veröffentlichungsjahr: 2021
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021, Virtual Event, China
ISBN: 978-1-4503-9127-6
Stichwörter: stochastic hybrid systems; reinforcement learning; statistical model checking; nondeterminism
Autor*innen der Universität Münster
| Niehage, Mathis Friedrich | Professur für Praktische Informatik (Prof. Remke) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |