Reference author: Tony Dodd

Lucio, E. N. A., Liu, J., & Dodd, T. J. (2015). An Interactive Approach to Monocular SLAM Presented at the An Interactive Approach to Monocular SLAM conference. 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 Presented at the An Interactive Approach to Monocular SLAM conference. 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 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

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