Results (12)

  • Alternating-time temporal logic
    Conference paper
  • Robust timed automata
    Conference paper
  • Discrete-time control for rectangular hybrid automata
    Conference paper
  • From quantity to quality
    Conference paper