Sarah M. Loos
Title
Cited by
Cited by
Year
Adaptive cruise control: Hybrid, distributed, and now formally verified
SM Loos, A Platzer, L Nistor
International Symposium on Formal Methods, 42-56, 2011
2132011
Deep network guided proof search
S Loos, G Irving, C Szegedy, C Kaliszyk
arXiv preprint arXiv:1701.06972, 2017
1252017
How to model and prove hybrid systems with KeYmaera: a tutorial on safety
JD Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer
International Journal on Software Tools for Technology Transfer 18 (1), 67-91, 2016
642016
Towards formal verification of freeway traffic control
S Mitsch, SM Loos, A Platzer
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 171-180, 2012
612012
Formal verification of distributed aircraft controllers
SM Loos, D Renshaw, A Platzer
Proceedings of the 16th international conference on Hybrid systems …, 2013
512013
HOList: An environment for machine learning of higher order logic theorem proving
K Bansal, S Loos, M Rabe, C Szegedy, S Wilcox
International Conference on Machine Learning, 454-463, 2019
442019
Using theorem provers to guarantee closed-loop system properties
N Aréchiga, SM Loos, A Platzer, BH Krogh
2012 American Control Conference (ACC), 3573-3580, 2012
402012
Safe intersections: At the crossing of hybrid systems and verification
SM Loos, A Platzer
2011 14th International IEEE Conference on Intelligent Transportation …, 2011
402011
Graph representations for higher-order logic and theorem proving
A Paliwal, S Loos, M Rabe, K Bansal, C Szegedy
Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2967-2974, 2020
362020
Differential refinement logic
SM Loos, A Platzer
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
302016
Distributed theorem proving for distributed hybrid systems
DW Renshaw, SM Loos, A Platzer
International Conference on Formal Engineering Methods, 356-371, 2011
202011
Using parameters in architectural views to support heterogeneous design and verification
A Rajhans, A Bhave, S Loos, BH Krogh, A Platzer, D Garlan
2011 50th IEEE Conference on Decision and Control and European Control …, 2011
192011
Efficiency analysis of formally verified adaptive cruise controllers
SM Loos, D Witmer, P Steenkiste, A Platzer
16th International IEEE Conference on Intelligent Transportation Systems …, 2013
182013
HOList: An environment for machine learning of higher-order theorem proving (extended version)
K Bansal, SM Loos, MN Rabe, C Szegedy, S Wilcox
arXiv preprint arXiv:1904.03241, 2019
122019
Mathematical reasoning in latent space
D Lee, C Szegedy, MN Rabe, SM Loos, K Bansal
arXiv preprint arXiv:1909.11851, 2019
112019
Learning to reason in large theories without imitation
K Bansal, C Szegedy, MN Rabe, SM Loos, V Toman
arXiv preprint arXiv:1905.10501, 2019
112019
HOList: An environment for machine learning of higher-order theorem proving
K Bansal, SM Loos, MN Rabe, C Szegedy, S Wilcox
arXiv preprint arXiv:1904.03241, 2019
72019
Strassen’s matrix multiplication relabeled
SM Loos, DS Wise
2009)[2013-03]. http://src. acm. org/loos/loos. html, 2009
32009
Teaching cyber-physical systems with logic
SM Loos, A Platzer
12014
Mechanized Safety Proofs for Disc-Constrained Aircraft
D Renshaw, SMLA Platzer
12012
The system can't perform the operation now. Try again later.
Articles 1–20