Login / Signup
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.
Tobias John
Simon Jantsch
Christel Baier
Sascha Klüppelholz
Published in:
Innov. Syst. Softw. Eng. (2022)
Keyphrases
</>
finite state automaton
turing machine
cellular automata
finite state
state space
deterministic finite automata
dynamic programming
lattice gas
finite automata
markov decision processes
finite state machines
linear program
data mining
utility function
learning activities
linear programming
learning environment