Sarah M. Loos

How to model and prove hybrid systems with KeYmaera: a tutorial on safety

Jan-David Quesel, Stefan Mitsch, Sarah M. Loos et al. · International Journal on Software Tools for Technology Transfer · 2015 · 69 citations · Full text

Engineering, Verification, System-level Design +23

HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe et al. · International Conference on Machine Learning · 2019 · 68 citations

Computational Logic, Engineering, Machine Learning +7

Towards Formal Verification of Freeway Traffic Control

Stefan Mitsch, Sarah M. Loos, André Platzer · 2012 · 47 citations

Intelligent Traffic Management, Engineering, Freeway Traffic +15

Formal verification of distributed aircraft controllers

Sarah M. Loos, David Renshaw, André Platzer · 2013 · 34 citations

Engineering, Networked Control, Verification +17

Differential Refinement Logic

Sarah M. Loos, André Platzer · 2016 · 30 citations

Applied Logic, Refinement Technique, Formal Specification +15