Results (2)

  • Counterexample guided refinement of template polyhedra
    Conference paper
  • Model checking gene regulatory networks
    Conference paper