Stefan Mitsch
Carnegie Mellon University
H-index: 21
North America-United States
Top articles of Stefan Mitsch
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
CESAR: Control Envelope Synthesis via Angelic Refinements | Aditi Kabra Jonathan Laurent Stefan Mitsch André Platzer | 2024/4/4 | |
Provably Safe Neural Network Controllers via Differential Dynamic Logic | arXiv preprint arXiv:2402.10998 | Samuel Teuber Stefan Mitsch André Platzer | 2024/2/16 |
Dynamic Logic of Communicating Hybrid Programs | arXiv preprint arXiv:2302.14546 | Marvin Brieger Stefan Mitsch André Platzer | 2023/2/28 |
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving | Proceedings of 10th International Workshop on Applied | Stefan Mitsch Huanhuan Sheng Bohua Zhan Shuling Wang Simon Foster | 2023/10/18 |
ARCH-COMP23 category report: Continuous and hybrid systems with nonlinear dynamics | Proceedings of 10th International Workshop on Applied | Luca Geretti Julien Alexandre dit Sandretto Matthias Althoff Luis Benet Pieter Collins | 2023/10/18 |
A Usage-Aware Sequent Calculus for Differential Dynamic Logic | arXiv preprint arXiv:2309.01180 | Myra Dotzel Stefan Mitsch Andre Platzer | 2023/9/3 |
Slow down, move over: a case study in formal verification, refinement, and testing of the responsibility-sensitive safety model for self-driving cars | Megan Strauss Stefan Mitsch | 2023/7/18 | |
Uniform substitution for dynamic logic with communicating hybrid programs | Marvin Brieger Stefan Mitsch André Platzer | 2023/7/1 | |
Reward Shaping from Hybrid Systems Models in Reinforcement Learning | Marian Qian Stefan Mitsch | 2023/5/16 | |
Verified train controllers for the federal railroad administration train kinematics model: Balancing competing brake and track forces | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Aditi Kabra Stefan Mitsch André Platzer | 2022/8/9 |
Implicit Definitions with Differential Equations for KeYmaera X: (System Description) | James Gallicchio Yong Kiam Tan Stefan Mitsch André Platzer | 2022/8/1 | |
Verifying switched system stability with logic | Yong Kiam Tan Stefan Mitsch André Platzer | 2022/5/4 | |
ARCH-COMP22 category report: Hybrid systems theorem proving | ARCH22 | Stefan Mitsch Bohua Zhan Huanhuan Sheng Alexander Bentkamp Xiangyu Jin | 2022/12/13 |
A hybrid programming language for formal modeling and verification of hybrid systems | Leibniz Transactions on Embedded Systems | Eduard Kamburjan Stefan Mitsch Reiner Hähnle | 2022/12/7 |
Fanoos: Multi-resolution, multi-strength, interactive explanations for learned systems | David Bayani Stefan Mitsch | 2022/1/14 | |
Formally verified next-generation airborne collision avoidance games in ACAS X | ACM Transactions on Embedded Computing Systems | Rachel Cleaveland Stefan Mitsch André Platzer | 2022/10/29 |
ARCH-COMP22 Category Report Continuous and Hybrid Systems with Nonlinear Dynamics | Luca Geretti Julien Alexandre Dit Sandretto Matthias Althoff Luis Benet Pieter Collins | 2022 | |
Implicit and explicit proof management in KeYmaera X | arXiv preprint arXiv:2108.02965 | Stefan Mitsch | 2021/8/6 |
Runtime model validation for partially-observable hybrid systems | 2021/12/21 | ||
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving. | Stefan Mitsch Xiangyu Jin Bohua Zhan Shuling Wang Naijun Zhan | 2021/7/9 |