Adaptive cruise control: Hybrid, distributed, and now formally verified SM Loos, A Platzer, L Nistor International Symposium on Formal Methods, 42-56, 2011 | 271 | 2011 |
Deep network guided proof search S Loos, G Irving, C Szegedy, C Kaliszyk arXiv preprint arXiv:1701.06972, 2017 | 202 | 2017 |
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 | 163 | 2019 |
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 | 138 | 2020 |
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 | 102 | 2016 |
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 | 75 | 2012 |
Formal verification of distributed aircraft controllers SM Loos, D Renshaw, A Platzer Proceedings of the 16th international conference on Hybrid systems …, 2013 | 56 | 2013 |
Differential refinement logic SM Loos, A Platzer Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 52 | 2016 |
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 | 50 | 2012 |
Safe intersections: At the crossing of hybrid systems and verification SM Loos, A Platzer 2011 14th International IEEE Conference on Intelligent Transportation …, 2011 | 48 | 2011 |
Learning to reason in large theories without imitation K Bansal, C Szegedy, MN Rabe, SM Loos, V Toman arXiv preprint arXiv:1905.10501, 2019 | 46 | 2019 |
Mathematical reasoning in latent space D Lee, C Szegedy, MN Rabe, SM Loos, K Bansal arXiv preprint arXiv:1909.11851, 2019 | 39 | 2019 |
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 | 26 | 2013 |
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 | 25 | 2019 |
Distributed theorem proving for distributed hybrid systems DW Renshaw, SM Loos, A Platzer International Conference on Formal Engineering Methods, 356-371, 2011 | 23 | 2011 |
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 | 22 | 2011 |
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 | 18 | 2019 |
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 | 9 | 2020 |
Strassen’s matrix multiplication relabeled SM Loos, DS Wise 2009)[2013-03]. http://src. acm. org/loos/loos. html, 2009 | 3 | 2009 |
Teaching cyber-physical systems with logic SM Loos, A Platzer | 2 | 2014 |