Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic (0)

by E M Wolff, U Topcu, R M Murray
Venue:in Proceedings of the IEEE Conference on Decision and Control (CDC