Login / Signup

Expressive Completeness for LTL With Modulo Counting and Group Quantifiers.

A. V. Sreejith
Published in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
  • temporal logic
  • model checking
  • multiscale
  • database
  • artificial intelligence
  • website
  • image sequences
  • data structure
  • first order logic
  • deterministic automata