Login / Signup

Logical consecutions in discrete linear temporal logic.

Vladimir V. Rybakov
Published in: J. Symb. Log. (2005)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • learning algorithm
  • general purpose
  • simulated annealing