Half-Positional Objectives Recognized by Deterministic Büchi Automata.
Patricia BouyerAntonio CasaresMickael RandourPierre VandenhovePublished in: CONCUR (2022)
Keyphrases
- finite state automaton
- turing machine
- deterministic finite automata
- regular expressions
- cellular automata
- databases
- probabilistic automata
- finite state machines
- multiple objectives
- finite automata
- deterministic automata
- artificial neural networks
- randomized algorithms
- information gain
- special case
- finite state
- finite state automata
- relaxation algorithm
- multiscale
- case study
- database