Results (15)

  • Concurrent reachability games
    Conference paper
  • Symbolic exploration of transition hierarchies
    Conference paper
  • The regular real-time languages
    Conference paper
  • Reachability verification for hybrid automata
    Conference paper