Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs
- 21 October 2019
- book chapter
- Published by Springer Nature
- p. 81-97
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Safety Verification of Deep Neural Networks2017
- Safe and Optimal Adaptive Cruise Control2015
- Uppaal SMC tutorialInternational Journal on Software Tools for Technology Transfer, 2015
- Uppaal Stratego2015
- On Time with Minimal Expected Cost!2014
- Statistical Model Checking for Markov Decision Processes2012
- Statistical Model Checking for Networks of Priced Timed Automata2011
- Game-based Abstraction for Markov Decision Processes2006
- Reduction and Refinement Strategies for Probabilistic Analysis2002
- Learning to act using real-time dynamic programmingArtificial Intelligence, 1995