Using parameters in architectural views to support heterogeneous design and verification. - Akshay Rajhans; Ajinkya Bhave; Sarah M. Loos; Bruce H. Krogh; André Platzer; David Garlan (CDC/ECC, 2011)

Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. - Sarah M. Loos; André Platzer; Ligia Nistor (FM, 2011)

Distributed Theorem Proving for Distributed Hybrid Systems. - David W. Renshaw; Sarah M. Loos; André Platzer (ICFEM, 2011)

Safe intersections: At the crossing of hybrid systems and verification. - Sarah M. Loos; André Platzer (ITSC, 2011)

Using theorem provers to guarantee closed-loop system properties. - Nikos Aréchiga; Sarah M. Loos; André Platzer; Bruce H. Krogh (ACC, 2012)

Towards Formal Verification of Freeway Traffic Control. - Stefan Mitsch; Sarah M. Loos; André Platzer (ICCPS, 2012)

Formal verification of distributed aircraft controllers. - Sarah M. Loos; David W. Renshaw; André Platzer (HSCC, 2013)

Efficiency analysis of formally verified adaptive cruise controllers. - Sarah M. Loos; David Witmer; Peter Steenkiste; André Platzer (ITSC, 2013)

Differential Refinement Logic. - Sarah M. Loos; André Platzer (LICS, 2016)

How to model and prove hybrid systems with KeYmaera: a tutorial on safety. - Jan-David Quesel; Stefan Mitsch; Sarah M. Loos; Nikos Aréchiga; André Platzer (Int. J. Softw. Tools Technol. Transf., 2016)

Deep Network Guided Proof Search. - Sarah M. Loos; Geoffrey Irving; Christian Szegedy; Cezary Kaliszyk (LPAR, 2017)

HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. - Kshitij Bansal; Sarah M. Loos; Markus N. Rabe; Christian Szegedy; Stewart Wilcox (ICML, 2019)

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version). - Kshitij Bansal; Sarah M. Loos; Markus N. Rabe; Christian Szegedy; Stewart Wilcox (CoRR, 2019)

Learning to Reason in Large Theories without Imitation. - Kshitij Bansal; Sarah M. Loos; Markus N. Rabe; Christian Szegedy (CoRR, 2019)

Graph Representations for Higher-Order Logic and Theorem Proving. - Aditya Paliwal; Sarah M. Loos; Markus N. Rabe; Kshitij Bansal; Christian Szegedy (AAAI, 2020)

Mathematical Reasoning in Latent Space. - Dennis Lee 003; Christian Szegedy; Markus N. Rabe; Sarah M. Loos; Kshitij Bansal (ICLR, 2020)

Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety. - Jan-David Quesel; Stefan Mitsch; Sarah M. Loos; Nikos Aréchiga; André Platzer (Int. J. Softw. Tools Technol. Transf., 2021)