Results (15)

  • 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
  • Assume-guarantee synthesis
    Conference paper
  • Model Checking on Trees with Path Equivalences
    Conference paper
  • Finitary winning in omega-regular games
    Conference paper
  • Model checking discounted temporal properties
    Conference paper