A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications
Robust control of uncertain Markov Decision Processes with temporal logic specifications