Deeper Connections Between LTL and Alternating Automata.

Radek Pelánek Jan Strejcek

Published in: CIAA (2005)

Keyphrases

deterministic automata
finite automata
model checking
temporal logic
cellular automata
linear temporal logic
finite state machines
probabilistic automata
linear time temporal logic
finite state
tree automata
bounded model checking
automata theoretic
regular expressions
timed automata