Sciweavers

11 search results - page 3 / 3
» A sound and complete axiomatization of delimited continuatio...
Sort
View
91
Voted
CSL
2010
Springer
15 years 22 days ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer