Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.
Tobias JohnSimon JantschChristel BaierSascha KlüppelholzPublished in: Innov. Syst. Softw. Eng. (2023)
Keyphrases
- finite state automaton
- turing machine
- finite state
- cellular automata
- regular expressions
- state space
- deterministic finite automata
- markov decision processes
- artificial intelligence
- finite automata
- linear programming
- sufficient conditions
- optimal policy
- reinforcement learning
- learning curve
- tree automata
- learning effect
- case study
- stationary policies
- information systems