LTL to Smaller Self-Loop Alternating Automata and Back.

Frantisek Blahoudek Juraj Major Jan Strejcek

Published in: ICTAC (2019)

Keyphrases

markov chain
finite state
probabilistic automata
deterministic automata
finite automata
model checking
temporal logic
cellular automata
linear temporal logic
tree automata
real time
regular expressions
turing machine
image sequences
machine learning
database
automata theoretic