Robust control of uncertain Markov Decision Processes with temporal logic specifications
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications