Sciweavers

2 search results - page 1 / 1
» An Elimination Theorem for Regular Behaviours with Integrati...
Sort
View
KI
2010
Springer
12 years 11 months 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