@misc{indiciae4b691c5a77d5,
  title = {SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes},
  author = {Pranav Ashok and Jan Křetínský and Kim Guldstrand Larsen and Adrien Le Coënt and Jakob Haahr Taankvist and Maximilian Weininger},
  year = {2019},
  doi = {10.1007/978-3-030-30281-8\_9},
  url = {https://arxiv.org/abs/1906.10640},
  note = {Source identifier: 1906.10640}
}