Reference author: Tony Dodd

Lucio, E. N. A., Liu, J. ., & Dodd, T. J. (2015). An Interactive Approach to Monocular SLAM. An Interactive Approach to Monocular SLAM. Presented at the. https://doi.org/http://dx.doi.org/10.1007/978-3-319-22416-9_3

Lucio, E. N. A., Liu, J. ., & Dodd, T. J. (2015). An Interactive Approach to Monocular SLAM. An Interactive Approach to Monocular SLAM. Presented at the. https://doi.org/http://dx.doi.org/10.1007/978-3-319-22416-9_3

Montana, F. J., Liu, J. ., & Dodd, T. J. (2016). Sampling-based stochastic optimal control with metric interval temporal logic specifications. Sampling-Based Stochastic Optimal Control With Metric Interval Temporal Logic Specifications. Presented at the. 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

o\~nez, P. O., Mill, A. R., Dodd, T. J., & Liu, J. . (2017). Formal verification of a gain scheduling control scheme. Formal Verification of a Gain Scheduling Control Scheme Primary Tabs . Presented at the. IEEE. https://doi.org/10.1109/MED.2017.7984128