40 citations · 86 across the 5 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.FL2023
A Usage-Aware Sequent Calculus for Differential Dynamic Logic
Myra Dotzel, Stefan Mitsch, André Platzer
Ensuring that safety-critical applications behave as intended is an important yet challenging task. Modeling languages like differential dynamic logic (dL) have proof calculi capab…
cs.LO2023
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs
Marvin Brieger, Stefan Mitsch, André Platzer
This paper introduces a uniform substitution calculus for , the dynamic logic of communicating hybrid programs. Uniform substitution enables parsimonious pr…
cs.SC2023
Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
William Simmons, André Platzer
Invariant sets are a key ingredient for verifying safety and other properties of cyber-physical systems that mix discrete and continuous dynamics. We adapt the elimination-theoreti…