Run-time optimization for learned controllers through quantitative games

DOI10.1007/978-3-030-25540-4_36OpenAlexW2962295100MaRDI QIDQ6194598

Bettina Könighofer, Guy Avni, Krishnendu Chatterjee, Thomas A. Henzinger, Stefan Pranger, Roderick Bloem

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25540-4_36

Mathematics Subject Classification ID

Applications of game theory (91A80) Synthesis problems (93B50) Stochastic games, stochastic differential games (91A15)

Related Items (2)

Runtime monitors for Markov decision processes ⋮ Dynamic shielding for reinforcement learning in black-box environments

This page was built for publication: Run-time optimization for learned controllers through quantitative games