Temporal logic control in dynamic environments with probabilistic satisfaction guarantees
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications