Login / Signup

Automata-Theoretic Decision of Timed Games.

Marco FaellaSalvatore La TorreAniello Murano
Published in: VMCAI (2002)
Keyphrases
  • automata theoretic
  • regular path queries
  • temporal logic
  • social networks
  • computational complexity