Results (4)

  • Co-Büching them all
    Conference paper
  • Forward analysis of depth-bounded processes
    Conference paper
  • Model-checking omega-regular properties of interval Markov chains
    Conference paper
  • Generalized parity games
    Conference paper