Learning optimal decisions for stochastic hybrid systems
Niehage, Mathis; Hartmanns, Arnd; Remke, Anne
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Saha, Indranil; Zhang, Lijun
Book title: 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
Page range: 44-55
Publishing company: ACM Press
Place of publication: Virtual Event, China
Status: Published
Release year: 2021
Language in which the publication is written: English
Conference: 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
Keywords: stochastic hybrid systems; reinforcement learning; statistical model checking; nondeterminism
Authors from the University of Münster
| Niehage, Mathis Friedrich | Professorship for practical computer science (Prof. Remke) |
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |