Sarah M. Loos

According to our database1, Sarah M. Loos authored at least 16 papers between 2011 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Mathematical Reasoning in Latent Space.
Proceedings of the 8th International Conference on Learning Representations, 2020

Graph Representations for Higher-Order Logic and Theorem Proving.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Learning to Reason in Large Theories without Imitation.
CoRR, 2019

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version).
CoRR, 2019

HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving.
Proceedings of the 36th International Conference on Machine Learning, 2019

2017
Deep Network Guided Proof Search.
Proceedings of the LPAR-21, 2017

2016
How to model and prove hybrid systems with KeYmaera: a tutorial on safety.
Int. J. Softw. Tools Technol. Transf., 2016

Differential Refinement Logic.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2013
Efficiency analysis of formally verified adaptive cruise controllers.
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

Formal verification of distributed aircraft controllers.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012
Towards Formal Verification of Freeway Traffic Control.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Using theorem provers to guarantee closed-loop system properties.
Proceedings of the American Control Conference, 2012

2011
Safe intersections: At the crossing of hybrid systems and verification.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

Distributed Theorem Proving for Distributed Hybrid Systems.
Proceedings of the Formal Methods and Software Engineering, 2011

Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified.
Proceedings of the FM 2011: Formal Methods, 2011

Using parameters in architectural views to support heterogeneous design and verification.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011


  Loading...