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: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-119 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:354-370 Lunel S, Mitsch S, Boyer B, Talpin J-P
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: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
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
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 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:173-191 Mitsch S, Gario M, Budnik CJ, Golm M, Platzer A
Journal Article High-Assurance SPIRAL END-TO-END GUARANTEES FOR ROBOT AND CAR CONTROL 2017 • IEEE Control Systems • 37(2):82-103 Franchetti F, Low TM, Mitsch S, Mendoza JP, Gui L, Phaosawasdi A, Padua D, Kar S, Moura JMF, Franusich M, Johnson J, Platzer A, Veloso MM
