Fast Translation from LTL to Büchi Automata via Non-transition-based Automata.

Shohei Mochizuki Masaya Shimakawa Shigeki Hagihara Naoki Yonezaki

Published in: ICFEM (2014)

Keyphrases

deterministic automata
automata theoretic
finite automata
temporal logic
cellular automata
finite state
regular expressions
probabilistic automata
model checking
tree automata
lattice gas
formal language theory
machine learning
data sets
information extraction
database
feature selection
finite state automata