Results (2)

  • Conic abstractions for hybrid systems
    Conference paper
  • Counterexample guided refinement of template polyhedra
    Conference paper