Synthesis of Controllers from Finite State Stack Machine Diagrams.

Daniel Rivas Pragna Das Joaquín Saiz Alcaine Lluís Ribas-Xirgo

Published in: ETFA (2018)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
tree automata
reinforcement learning
control system
controller synthesis
average cost
partially observable markov decision processes
context free
machine learning
state space
vector quantizer
markov processes