Sciweavers

11 search results - page 3 / 3
» A sound and complete axiomatization of delimited continuatio...
Sort
View
CSL
2010
Springer
13 years 6 months 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