Research

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

Talks

Tools