Robust control of uncertain Markov decision processes with temporal logic specifications (0)

by E Wolff, U Topcu, R Murray
Venue:in Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, Dec 2012