no code implementations • 20 Mar 2019 • Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru C. Serban, Bernd Becker, Ufuk Topcu
The particular problem is to determine strategies that provably adhere to (probabilistic) temporal logic constraints.
no code implementations • 16 Jul 2018 • Nils Jansen, Bettina Könighofer, Sebastian Junges, Alexandru C. Serban, Roderick Bloem
This paper targets the efficient construction of a safety shield for decision making in scenarios that incorporate uncertainty.