Stefan Mitsch

Available identifiers

zbMath Open mitsch.stefanMaRDI QIDQ681464

List of research outcomes

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	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)	2022-12-07	Paper
Pegasus: sound continuous invariant generation	2022-06-20	Paper
ModelPlex: verified runtime validation of verified cyber-physical system models	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	2015-12-02	Paper

Research outcomes over time

This page was built for person: Stefan Mitsch