A compositional approach to stochastic optimal control with co-safe temporal logic specifications.

Matanya B. Horowitz, Eric M. Wolff, Richard M. Murray

Browse the full IROS paper archive.