Sarah M. Loos
Titel
Geciteerd door
Geciteerd door
Jaar
Adaptive cruise control: Hybrid, distributed, and now formally verified
SM Loos, A Platzer, L Nistor
International Symposium on Formal Methods, 42-56, 2011
1932011
Deep network guided proof search
S Loos, G Irving, C Szegedy, C Kaliszyk
arXiv preprint arXiv:1701.06972, 2017
1052017
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
582016
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
572012
Formal verification of distributed aircraft controllers
SM Loos, D Renshaw, A Platzer
Proceedings of the 16th international conference on Hybrid systems …, 2013
472013
Safe intersections: At the crossing of hybrid systems and verification
SM Loos, A Platzer
2011 14th International IEEE Conference on Intelligent Transportation …, 2011
362011
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
342012
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
252019
Differential refinement logic
SM Loos, A Platzer
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
222016
Graph Representations for Higher-Order Logic and Theorem Proving.
A Paliwal, SM Loos, MN Rabe, K Bansal, C Szegedy
AAAI, 2967-2974, 2020
202020
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
202011
Distributed theorem proving for distributed hybrid systems
DW Renshaw, SM Loos, A Platzer
International Conference on Formal Engineering Methods, 356-371, 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
K Bansal, SM Loos, MN Rabe, C Szegedy, S Wilcox
arXiv preprint arXiv:1904.03241, 2019
152019
Learning to reason in large theories without imitation
K Bansal, SM Loos, MN Rabe, C Szegedy
arXiv preprint arXiv:1905.10501, 2019
72019
Mathematical reasoning in latent space
D Lee, C Szegedy, MN Rabe, SM Loos, K Bansal
arXiv preprint arXiv:1909.11851, 2019
42019
Strassen’s matrix multiplication relabeled
SM Loos, DS Wise
2009)[2013-03]. http://src. acm. org/loos/loos. html, 2009
32009
Mechanized Safety Proofs for Disc-Constrained Aircraft
D Renshaw, SMLA Platzer
12012
How to prove complex properties of hybrid systems with KeYmaera: a tutorial
JD Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer
12012
Mathematical Reasoning in Latent Space
C Szegedy, D Lee, K Bansal, M Rabe, S Loos
2020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20