Login / Signup
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics.
Zoltán Ésik
Szabolcs Iván
Published in:
Fundam. Informaticae (2008)
Keyphrases
</>
temporal logic
tree automata
model checking
finite automata
modal logic
satisfiability problem
concurrent systems
mazurkiewicz traces
linear temporal logic
belief revision
finite state
predicate logic
dynamic programming
verification method
regular expressions
np complete
tree languages
state space