Conference ARCH-COMP20 category report: Hybrid systems theorem proving 2020 • EPiC Series in Computing • 74:153-174 Mitsch S, Y Munive JJH, Jin X, Zhan B, Wang S, Zhan N
Preprint Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems 2020 Bayani D, Mitsch S
Preprint Pegasus: Sound Continuous Invariant Generation 2020 Sogokon A, Mitsch S, Tan YK, Cordwell K, Platzer A
Conference Towards CPS Verification Engineering 2020 • 22ND INTERNATIONAL CONFERENCE ON INFORMATION INTEGRATION AND WEB-BASED APPLICATIONS & SERVICES (IIWAS2020) • 367-371 Mueller A, Mitsch S, Retschitzegger W, Schwinger W
Conference A component-based hybrid systems verification and implementation tool in KeYmaera X (Tool demonstration) 2019 • Lecture Notes in Computer Science • 11615 LNCS:91-110 Müller A, Mitsch S, Schwinger W, Platzer A
Preprint A Formal Safety Net for Waypoint Following in Ground Robots 2019 Bohrer B, Tan YK, Mitsch S, Sogokon A, Platzer A
Journal Article A Formal Safety Net for Waypoint-Following in Ground Robots 2019 • IEEE Robotics and Automation Letters • 4(3):2910-2917 Bohrer B, Tan YK, Mitsch S, Sogokon A, Platzer A
Conference Arch-comp19 category report: Hybrid systems theorem proving 2019 • EPiC Series in Computing • 61:141-161 Mitsch S, Sogokon A, Tan YK, Jin X, Zhan B, Wang S, Zhan N
Conference HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification 2019 • ICCPS '19: PROCEEDINGS OF THE 2019 10TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS • 47-56 Garcia L, Mitsch S, Platzer A
Preprint HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification 2019 Garcia L, Mitsch S, Platzer A
Conference Parallel composition and modular verification of computer controlled systems in differential dynamic logic 2019 • Lecture Notes in Computer Science • 11800 LNCS:354-370 Lunel S, Mitsch S, Boyer B, Talpin JP
Preprint Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic 2019 Lunel S, Mitsch S, Boyer B, Talpin J-P
Conference Pegasus: A framework for sound continuous invariant generation 2019 • Lecture Notes in Computer Science • 11800 LNCS:138-157 Sogokon A, Mitsch S, Tan YK, Cordwell K, Platzer A
Conference Toward Multi-Task Support and Security Analyses in PLC Program Translation for Verification 2019 • ICCPS '19: PROCEEDINGS OF THE 2019 10TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS • 348-349 Garcia L, Mitsch S, Platzer A
Conference ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving 2018 • EPiC series in computing • 54:110-191 Mitsch S, Sogokon A, Tan YK, Platzer A, Zhao H, Jin X, Wang S, Zhan N
Journal Article Tactical contract composition for hybrid system component verification 2018 • International Journal on Software Tools for Technology Transfer • 20(6):615-643 Mueller A, Mitsch S, Retschitzegger W, Schwinger W, Platzer A
Preprint Verified Runtime Validation for Partially Observable Hybrid Systems 2018 Mitsch S, Platzer A
Journal Article VeriPhy: verified controller executables from verified cyber-physical system models 2018 • ACM Sigplan Notices • 53(4):617-630 Bohrer R, Tan YK, Mitsch S, Myreen MO, Platzer A
Conference VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models 2018 • ACM Sigplan Notices • 53(4):617-630 Bohrer B, Tan YK, Mitsch S, Myreen MO, Platzer A
Conference A Benchmark for Component-based Hybrid Systems Safety Verification 2017 • EPiC series in computing • 48:65-54 Müller A, Mitsch S, Retschitzegger W, Schwinger W, Platzer A
Journal Article A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system 2017 • International Journal on Software Tools for Technology Transfer • 19(6):717-741 Jeannin J-B, Ghorbal K, Kouskoulas Y, Schmidt A, Gardner R, Mitsch S, Platzer A
Conference Bellerophon: Tactical Theorem Proving for Hybrid Systems 2017 • Lecture Notes in Computer Science • 10499:207-224 Fulton N, Mitsch S, Bohrer B, Platzer A
Conference Change and Delay Contracts for Hybrid System Component Verification 2017 • Lecture Notes in Computer Science • 10202:134-151 Mueller A, Mitsch S, Retschitzegger W, Schwinger W, Platzer A
Journal Article Formal verification of obstacle avoidance and navigation of ground robots 2017 • International Journal of Robotics Research • 36(12):1312-1340 Mitsch S, Ghorbal K, Vogelbacher D, Platzer A
Conference Formal Verification of Train Control with Air Pressure Brakes 2017 • Lecture Notes in Computer Science • 10598 LNCS:173-191 Mitsch S, Gario M, Budnik CJ, Golm M, Platzer A
