Login / Signup
LTL to Smaller Self-Loop Alternating Automata and Back.
Frantisek Blahoudek
Juraj Major
Jan Strejcek
Published in:
CoRR (2019)
Keyphrases
</>
deterministic automata
finite automata
model checking
cellular automata
temporal logic
finite state machines
finite state
grammatical inference
bounded model checking
machine learning
linear temporal logic
artificial intelligence
image processing
pattern matching
regular expressions
probabilistic automata