Results (3)

  • Conic abstractions for hybrid systems
    Conference paper
  • Counterexample guided refinement of template polyhedra
    Conference paper
  • Model checking gene regulatory networks
    Conference paper