1. Q-Learning for robust satisfaction of signal temporal logic specifications
2. Mohammed Alshiekh Roderick Bloem Ruediger Ehlers Bettina Könighofer Scott Niekum and Ufuk Topcu. 2017. Safe Reinforcement Learning via Shielding. arXiv preprint arXiv.1708.08611 (2017). Mohammed Alshiekh Roderick Bloem Ruediger Ehlers Bettina Könighofer Scott Niekum and Ufuk Topcu. 2017. Safe Reinforcement Learning via Shielding. arXiv preprint arXiv.1708.08611 (2017).
3. Precise piecewise affine models from input-output data
4. Provably safe and robust learning-based model predictive control
5. Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. Vol. 26202649. MIT press Cambridge. Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. Vol. 26202649. MIT press Cambridge.