Results (12)

  • Alternating-time temporal logic
    Conference paper
  • Robust timed automata
    Conference paper