Author:Stefan Mitsch

Publications

Keyphrases

benchmark2, 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.