40 citations · 86 across the 4 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018
Verified Runtime Validation for Partially Observable Hybrid Systems
Stefan Mitsch, André Platzer
Formal verification provides strong safety guarantees but only for models of cyber-physical systems. Hybrid system models describe the required interplay of computation and physica…
cs.LO2018
Uniform Substitution for Differential Game Logic
André Platzer
This paper presents a uniform substitution calculus for differential game logic (dGL). Church's uniform substitutions substitute a term or formula for a function or predicate symbo…
cs.LO2018
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts
André Platzer, Yong Kiam Tan
We prove the completeness of an axiomatization for differential equation invariants. First, we show that the differential equation axioms in differential dynamic logic are complete…