Half-Positional Objectives Recognized by Deterministic Büchi Automata.

Patricia Bouyer Antonio Casares Mickael Randour Pierre Vandenhove

Published in: CoRR (2022)

Keyphrases

finite state automaton
turing machine
cellular automata
deterministic finite automata
finite automata
deterministic automata
machine learning
state space
black box
multiple objectives
probabilistic automata
finite state machines
stochastic methods
tree automata
regular expressions
databases
neural network