Controller synthesis for MDPs and Frequency LTL$\setminus$GU.

Vojtech Forejt Jan Krcál Jan Kretínský

Published in: CoRR (2015)

Keyphrases

controller synthesis
markov decision processes
autonomic computing systems
closed loop
reinforcement learning
model checking
temporal logic
linear temporal logic
state space
control system
dynamic programming
control algorithm
neural network
genetic algorithm
computing systems
autonomic systems