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 systems2, differential dynamic logic2, dynamical systems, formal methods2, formal verification2, hybrid games2, Hybrid Hoare Logic2, hybrid systems7, nonlinear continuous systems, nonlinear dynamics2, nonlinear systems2, Performance, reachability analysis2, theorem proving4, tools2, verification3. |
|