Inproceedings,

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

, , and .
IROS, page 1466-1473. IEEE, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews