Felipe J. Montana, Jun Liu, Tony J. Dodd. Sampling-based stochastic optimal control with metric interval temporal logic specifications. In 2016 IEEE Conference on Control Applications, CCA 2016, Buenos Aires, Argentina, September 19-22, 2016. pages 767-773, IEEE, 2016. [doi]
Abstract is missing.