Follow
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
2602011
Deep network guided proof search
S Loos, G Irving, C Szegedy, C Kaliszyk
arXiv preprint arXiv:1701.06972, 2017
1912017
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
1412019
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
1112020
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
962016
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
702012
Formal verification of distributed aircraft controllers
SM Loos, D Renshaw, A Platzer
Proceedings of the 16th international conference on Hybrid systems …, 2013
552013
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
502012
Differential refinement logic
SM Loos, A Platzer
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
462016
Safe intersections: At the crossing of hybrid systems and verification
SM Loos, A Platzer
2011 14th International IEEE Conference on Intelligent Transportation …, 2011
462011
Learning to reason in large theories without imitation
K Bansal, C Szegedy, MN Rabe, SM Loos, V Toman
arXiv preprint arXiv:1905.10501, 2019
372019
Mathematical reasoning in latent space
D Lee, C Szegedy, MN Rabe, SM Loos, K Bansal
arXiv preprint arXiv:1909.11851, 2019
352019
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
252013
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
242019
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
222011
Distributed theorem proving for distributed hybrid systems
DW Renshaw, SM Loos, A Platzer
International Conference on Formal Engineering Methods, 356-371, 2011
212011
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
132019
Imo grand challenge
D Selsam, L de Moura, K Buzzard, R Barton, P Liang, S Loos, F Wiedijk
URL https://imo-grand-challenge. github. io, 2020
92020
Strassen’s matrix multiplication relabeled
SM Loos, DS Wise
2009)[2013-03]. http://src. acm. org/loos/loos. html, 2009
42009
Correction to: 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 23, 827-827, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20