Concepedia

Sarah M. Loos

SM

16

Publications

428

Citations

13

H-Index

2011

Active since

Affiliations

Carnegie Mellon University(Current)

Google (United States)

Sarah M. Loos is an author at Carnegie Mellon University specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationVerificationSystems EngineeringMachine LearningAutomationDeep Learning

Publications per year

2011–2020

16

Publications

16

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

Rows per page

1–5 of 16