Minimal Büchi Automata for Certain Classes of LTL Formulas.

Jacek Cichon Adam Czubak Andrzej Jasinski

Published in: DepCoS-RELCOMEX (2009)

Keyphrases

linear time temporal logic
deterministic automata
cellular automata
temporal logic
model checking
neural network
finite state
information gain
finite automata