Results (7)

  • Counterexample guided refinement of template polyhedra
    Conference paper
  • Faster statistical model checking for unbounded temporal properties
    Conference paper
  • Model checking gene regulatory networks
    Conference paper
  • Structural Counter Abstraction
    Conference paper
  • QUASY: quantitative synthesis tool
    Conference paper