Sciweavers

2 search results - page 1 / 1
» An Elimination Theorem for Regular Behaviours with Integrati...
Sort
View
KI
2010
Springer
13 years 1 days ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer