Items where Author is "Montana, F.J."

Montana, F.J., Liu, J. and DODD, Tony (2017) Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications. In: ritical Systems: Formal Methods and Automated Verification. Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017,. Lecture Notes in Computer Science, 10471 . Springer Verlag, Turin, Italy. 18-20 September 2017, pp. 150-164. ISBN 9783319671123

Montana, F.J., Liu, J. and DODD, Tony (2017) Sampling-based reactive motion planning with temporal logic constraints and imperfect state information. In: Critical Systems: Formal Methods and Automated Verification. AVoCS 2017, FMICS 2017. Lecture Notes in Computer Science, 10471 . Springer Verlag, Turin, Italy, pp. 134-149. ISBN 9783319671123

Montana, F.J., Liu, J. and DODD, Tony (2016) Sampling-based stochastic optimal control with metric interval temporal logic specifications. In: 2016 IEEE Conference on Control Applications (CCA), 19-22 September 2016. IEEE, Buenos Aires, Argentina. ISBN 978-1-5090-0755-4