Results (15)

  • Concurrent reachability games
    Conference paper
  • Symbolic exploration of transition hierarchies
    Conference paper
  • The regular real-time languages
    Conference paper