Results (7)

  • Faster statistical model checking for unbounded temporal properties
    Conference paper
  • QUASY: quantitative synthesis tool
    Conference paper
  • Assume-guarantee synthesis
    Conference paper
  • Finitary winning in omega-regular games
    Conference paper