Results (38)

  • Timed Network Games
    Conference paper
  • Lipschitz robustness of finite-state transducers
    Conference paper
  • From model checking to model measuring
    Conference paper