LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications