Login / Signup

An Automata-Theoretic Decision Procedure for Future Interval Logic.

Y. S. RamakrishnaLaura K. DillonLouise E. MoserP. M. Melliar-SmithGeorge Kutty
Published in: FSTTCS (1992)
Keyphrases
  • automata theoretic
  • temporal logic
  • regular path queries
  • modal logic
  • model checking
  • np complete