Counting LTL.

François Laroussinie Antoine Meyer Eudes Petonnet

Published in: TIME (2010)

Keyphrases

model checking
temporal logic
linear temporal logic
bounded model checking
deterministic automata
information retrieval
linear time temporal logic
databases
learning algorithm
video sequences
natural language
probabilistic model
finite automata
transition systems