TY  - RPRT
TI  - SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes
AU  - Pranav Ashok
AU  - Jan Křetínský
AU  - Kim Guldstrand Larsen
AU  - Adrien Le Coënt
AU  - Jakob Haahr Taankvist
AU  - Maximilian Weininger
PY  - 2019
DO  - 10.1007/978-3-030-30281-8_9
UR  - https://arxiv.org/abs/1906.10640
ID  - 1906.10640
ER  -