Items where authors include "Montana, F.J."

Proceedings Paper

Montana, F.J., Liu, J. and Dodd, T.J. orcid.org/0000-0001-6820-4526 (2017) Sampling-based reactive motion planning with temporal logic constraints and imperfect state information. In: Critical 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, 18-20 Sep 2017, Turin, Italy. Lecture Notes in Computer Science, 10471 . Springer Verlag , pp. 134-149. ISBN 9783319671123

Montana, F.J., Liu, J. and Dodd, T.J. orcid.org/0000-0001-6820-4526 (2017) Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications. In: Critical 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, 18-20 Sep 2017, Turin, Italy. Lecture Notes in Computer Science, 10471 . Springer Verlag , pp. 150-164. ISBN 9783319671123

Montana, F.J., Liu, J. and Dodd, T.J. orcid.org/0000-0001-6820-4526 (2016) Sampling-based stochastic optimal control with metric interval temporal logic specifications. In: 2016 IEEE Conference on Control Applications (CCA). 2016 IEEE Conference on Control Applications (CCA), 19-22 Sep 2016, Buenos Aires, Argentina. IEEE . ISBN 978-1-5090-0755-4