Finite state control of POMDPs with LTL specifications
Rangoli Sharan, Joel W. Burdick · 2014
We consider the synthesis of control policies over partially observable Markov decision processes with linear temporal logic specifications. We limit the search of policies over finite state controllers of a fixed size which leads to a Markov chain with free parameters, over which the probability of satisfaction of the specification can be maximized.