Stefan Mitsch

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs	2024-04-26	Paper
Pegasus: a framework for sound continuous invariant generation	2024-03-14	Paper
Parallel composition and modular verification of computer controlled systems in differential dynamic logic	2024-03-14	Paper
Verifying Switched System Stability With Logic 25th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Verified Quadratic Virtual Substitution for Real Arithmetic	2023-04-21	Paper
Implicit definitions with differential equations for KeYmaera X (system description) (available as arXiv preprint)	2022-12-07	Paper
Pegasus: sound continuous invariant generation Formal Methods in System Design	2022-06-20	Paper
ModelPlex: verified runtime validation of verified cyber-physical system models Formal Methods in System Design	2018-02-12	Paper
Bellerophon: tactical theorem proving for hybrid systems	2018-01-04	Paper
KeYmaera X: an axiomatic tactical theorem prover for hybrid systems Automated Deduction - CADE-25	2015-12-02	Paper

Research outcomes over time

This page was built for person: Stefan Mitsch