Sarah M. Loos
Nimike
Viittaukset
Viittaukset
Vuosi
Adaptive cruise control: Hybrid, distributed, and now formally verified
SM Loos, A Platzer, L Nistor
International Symposium on Formal Methods, 42-56, 2011
2212011
Deep network guided proof search
S Loos, G Irving, C Szegedy, C Kaliszyk
arXiv preprint arXiv:1701.06972, 2017
1412017
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
682016
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
632012
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
622019
Formal verification of distributed aircraft controllers
SM Loos, D Renshaw, A Platzer
Proceedings of the 16th international conference on Hybrid systems …, 2013
512013
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
502020
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
432012
Safe intersections: At the crossing of hybrid systems and verification
SM Loos, A Platzer
2011 14th International IEEE Conference on Intelligent Transportation …, 2011
422011
Differential refinement logic
SM Loos, A Platzer
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
332016
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
202013
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
Mathematical reasoning in latent space
D Lee, C Szegedy, MN Rabe, SM Loos, K Bansal
arXiv preprint arXiv:1909.11851, 2019
182019
Learning to reason in large theories without imitation
K Bansal, C Szegedy, MN Rabe, SM Loos, V Toman
arXiv preprint arXiv:1905.10501, 2019
162019
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
142019
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20