98 citations · 647 across the 44 of their papers we have counts for
Showing 2018 · cs.LOShow all
3 papers · 2 filters
cs.LO2018★ 7 cited
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★ 7 cited
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★ 26 cited
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…