Login / Signup

Automata-theoretic decision of timed games.

Marco FaellaSalvatore La TorreAniello Murano
Published in: Theor. Comput. Sci. (2014)
Keyphrases
  • automata theoretic
  • temporal logic
  • regular path queries
  • databases
  • database