Login / Signup
Automata-Theoretic Decision of Timed Games.
Marco Faella
Salvatore La Torre
Aniello Murano
Published in:
VMCAI (2002)
Keyphrases
</>
automata theoretic
regular path queries
temporal logic
social networks
computational complexity