Sampling-based stochastic optimal control with metric interval temporal logic specifications. - Felipe J. Montana; Jun Liu 015; Tony J. Dodd (CCA, 2016)

Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information. - Felipe J. Montana; Jun Liu 015; Tony J. Dodd (FMICS-AVoCS, 2017)

Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications. - Felipe J. Montana; Jun Liu 015; Tony J. Dodd (FMICS-AVoCS, 2017)