Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata.

Published in: CIAA (2003)

Keyphrases

linear temporal logic
finite automata
cellular automata
deterministic automata
regular expressions
finite state
finite state machines
reinforcement learning
tree automata
evolutionary algorithm
model checking
markov decision processes