SAT-Based Minimization of Deterministic \omega -Automata.

Souheib Baarir Alexandre Duret-Lutz

Published in: LPAR (2015)

Keyphrases

finite state automaton
turing machine
answer set programming
cellular automata
finite state
objective function
ai planning
finite automata
bounded model checking
black box
regular expressions
neural network
version space
tree automata
logic programming
planning problems
search strategy
boolean satisfiability