@inproceedings{42,
  author = {Felipe Montana and Jun Liu and Tony Dodd},
  title = {Sampling-based stochastic optimal control with metric interval temporal logic specifications},
  year = {2016},
  journal = {Sampling-based stochastic optimal control with metric interval temporal logic specifications},
  doi = {10.1109/CCA.2016.7587911},
}