Journal Article Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X 2023 • Transactions on Embedded Computing Systems • 22(1): Cleaveland R, Mitsch S, Platzer A
Chapter Reward Shaping from Hybrid Systems Models in Reinforcement Learning 2023 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13903:122-139 Qian M, Mitsch S
Chapter Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars 2023 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14066:149-167 Strauss M, Mitsch S
Preprint Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs 2023 Brieger M, Mitsch S, Platzer A
Conference ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 2022 • EPiC series in computing • 90:86-58 Geretti L, Alexandre Dit Sandretto J, Althoff M, Benet L, Collins P, Duggirala P, Forets M, Kim E, Mitsch S, Schilling C, Wetzlinger M
Conference ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving 2022 • EPiC series in computing • 90:185-165 Mitsch S, Zhan B, Sheng H, Bentkamp A, Jin X, Wang S, Foster S, Pardillo Laursen C, Huerta Y Munive JJ
Journal Article Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems 2022 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13182:43-68 Bayani D, Mitsch S
Chapter Implicit Definitions with Differential Equations for KeYmaera X 2022 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13385:723-733 Gallicchio J, Tan YK, Mitsch S, Platzer A
Conference Implicit Definitions with Differential Equations for KeYmaera X (System Description) 2022 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13385:723-733 Gallicchio J, Tan YK, Mitsch S, Platzer A
Preprint Implicit Definitions with Differential Equations for KeYmaera X (System Description) 2022 Gallicchio J, Tan YK, Mitsch S, Platzer A
Journal Article Safe and Resilient Practical Waypoint-Following for Autonomous Vehicles 2022 • IEEE Control Systems Letters • 6:1574-1579 Lin Q, Mitsch S, Platzer A, Dolan JM
Journal Article Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces 2022 • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • 41(11):4409-4420 Kabra A, Mitsch S, Platzer A
Journal Article Verifying Switched System Stability With Logic 2022 • HSCC 2022: PROCEEDINGS OF THE 25TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK 2022) Tan YK, Mitsch S, Platzer A
Conference ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving 2021 • EPiC series in computing • 80:120-106 Mitsch S, Jin X, Zhan B, Wang S, Zhan N
Preprint Formally Verified Next-Generation Airborne Collision Avoidance Games in ACAS X 2021 Cleaveland R, Mitsch S, Platzer A
Conference Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers 2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13047:122-141 Kopylov A, Mitsch S, Nogin A, Warren M
Journal Article How to model and prove hybrid systems with KeYmaera: a tutorial on safety (vol 18, pg 67, 2016) 2021 • International Journal on Software Tools for Technology Transfer • 23(5):827-827 Quesel J-D, Mitsch S, Loos S, Arechiga N, Platzer A
Journal Article Pegasus: sound continuous invariant generation 2021 • Formal methods in system design • 58(1-2):5-41 Sogokon A, Mitsch S, Tan YK, Cordwell K, Platzer A
Journal Article Verified Quadratic Virtual Substitution for Real Arithmetic 2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13047:200-217 Scharager M, Cordwell K, Mitsch S, Platzer A
Preprint Verified Quadratic Virtual Substitution for Real Arithmetic 2021 Scharager M, Cordwell K, Mitsch S, Platzer A
Chapter A Retrospective on Developing Hybrid System Provers in the KeYmaera Family 2020 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12345:21-64 Mitsch S, Platzer A
Chapter A Retrospective on Developing Hybrid System Provers in the KeYmaera Family: A Tale of Three Provers 2020 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12345 LNCS:21-64 Mitsch S, Platzer A
Conference ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving 2020 • EPiC series in computing • 74:153-130 Mitsch S, Huerta Y Munive JJ, Jin X, Zhan B, Wang S, Zhan N
