Sarah M. Loos

机构：Carnegie Mellon University

发表论文 24 篇 · 总被引 691 次 · h-index 14

代表论文

• Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified (2011 · Lecture notes in computer science · 被引 164)
• How to model and prove hybrid systems with KeYmaera: a tutorial on safety (2015 · International Journal on Software Tools for Technology Transfer · 被引 71)
• Graph Representations for Higher-Order Logic and Theorem Proving (2020 · AAAI Publications (The Association for the Advancement of Artificial Intelligence (AAAI)) · 被引 69)
• HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving (2019 · International Conference on Machine Learning · 被引 68)
• Towards Formal Verification of Freeway Traffic Control (2012 · 被引 48)
• Formal verification of distributed aircraft controllers (2013 · 被引 35)