Reference author: Felipe Montana

Montana, F. J., Liu, J., & Dodd, T. J. (2016). Sampling-based stochastic optimal control with metric interval temporal logic specifications Presented at the Sampling-Based Stochastic Optimal Control With Metric Interval Temporal Logic Specifications conference. https://doi.org/10.1109/CCA.2016.7587911

Montana, F. J., Liu, J., & Dodd, T. J. (2017). Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications Springer. https://doi.org/https://doi.org/10.1007/978-3-319-67113-0_10

Montana, F. J., Liu, J., & Dodd, T. J. (2017). Sampling-based reactive motion planning with temporal logic constraints and imperfect state information Springer. https://doi.org/https://doi.org/10.1007/978-3-319-67113-0_9