Author:Stefan MitschPublications |
---|
| Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger and Daniel Zhuang | | | | | | | |
Keyphrasesbenchmark2, Benchmarking, component-based, continuous systems, differential dynamic logic2, dynamical systems, formal methods, formal verification2, hybrid games2, Hybrid Hoare Logic2, hybrid systems6, nonlinear continuous systems, nonlinear dynamics, nonlinear systems2, Performance, reachability analysis, theorem proving4, tools2, verification2. |
|