Staffordshire University logo
STORE - Staffordshire Online Repository

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

Up a level
Export as [feed] Atom [feed] RSS
[tool] Batch List
Group by: Item Type | No Grouping
Number of items: 3.

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

This list was generated on Thu Mar 4 09:08:44 2021 UTC.

DisabledGo Staffordshire University is a recognised   Investor in People. Sustain Staffs
Legal | Freedom of Information | Site Map | Job Vacancies
Staffordshire University, College Road, Stoke-on-Trent, Staffordshire ST4 2DE t: +44 (0)1782 294000