Research fields

• modeling and analysis of hybrid systems,
• analysis and counterexample generation for probabilistic systems,
• decision procedures (SMT-solving) for non-linear real arithmetic,
• applications of SMT-solving in verification.

Publications

Projects

Tools