Author:Stefan Mitsch

Publications

Keyphrases

benchmark2, component-based, differential dynamic logic, dynamical systems, formal verification2, hybrid games2, Hybrid Hoare Logic, hybrid systems4, nonlinear continuous systems, nonlinear systems2, Performance, theorem proving3, tools2, verification.