Author:Stefan Mitsch

Publications

Keyphrases

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