98 citations · 647 across the 44 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 22 cited
A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Andre Platzer
We address a fundamental mismatch between the combinations of dynamics that occur in cyber-physical systems and the limited kinds of dynamics supported in analysis. Modern applicat…
cs.LO2012★ 2 cited
Dynamic Logics of Dynamical Systems
André Platzer
We survey dynamic logics for specifying and verifying properties of dynamical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. A dynami…