A Better Translation From LTL to Transition-Based Generalized Büchi Automata.

Weiwei Li Shuanglong Kan Zhiqiu Huang

Published in: IEEE Access (2017)

Keyphrases

deterministic automata
temporal logic
finite automata
automata theoretic
cellular automata
model checking
machine translation
information retrieval
information gain
finite state
linear temporal logic
probabilistic automata
database
neural network
information extraction
regular expressions