| Adaptive cruise control: Hybrid, distributed, and now formally verified SM Loos, A Platzer, L Nistor FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011 | 248 | 2011 |
| Deep network guided proof search S Loos, G Irving, C Szegedy, C Kaliszyk arXiv preprint arXiv:1701.06972, 2017 | 167 | 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 | 98 | 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 | 83 | 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 | 83 | 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 | 68 | 2012 |
| Formal verification of distributed aircraft controllers SM Loos, D Renshaw, A Platzer Proceedings of the 16th international conference on Hybrid systems …, 2013 | 54 | 2013 |
| 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 | 49 | 2012 |
| Safe intersections: At the crossing of hybrid systems and verification SM Loos, A Platzer 2011 14th International IEEE Conference on Intelligent Transportation …, 2011 | 45 | 2011 |
| Differential refinement logic SM Loos, A Platzer Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 44 | 2016 |
| Learning to reason in large theories without imitation K Bansal, C Szegedy, MN Rabe, SM Loos, V Toman arXiv preprint arXiv:1905.10501, 2019 | 29 | 2019 |
| Mathematical reasoning in latent space D Lee, C Szegedy, MN Rabe, SM Loos, K Bansal arXiv preprint arXiv:1909.11851, 2019 | 28 | 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 | 23 | 2013 |
| 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 (extended version) K Bansal, SM Loos, MN Rabe, C Szegedy, S Wilcox arXiv preprint arXiv:1904.03241, 2019 | 20 | 2019 |
| Distributed theorem proving for distributed hybrid systems DW Renshaw, SM Loos, A Platzer Formal Methods and Software Engineering: 13th International Conference on …, 2011 | 19 | 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 | 15 | 2019 |
| 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 | 1 | 2014 |
| Mechanized Safety Proofs for Disc-Constrained Aircraft D Renshaw, SM Loos, A Platzer | 1 | 2012 |
André PlatzerAlexander von Humboldt Professor of Computer Science, Karlsruhe Institute of TechnologyVerified email at kit.edu
