Results (11)

  • Timed parity games: complexity and robustness
    Conference paper
  • Model-checking omega-regular properties of interval Markov chains
    Conference paper