Giulia Lafratta

Research title: Spatial planning and learning by chaining input controllers

Publications

List by: Type | Date

Jump to: 2023
Number of items: 1.

2023

Chandler, C. , Porr, B. , Miller, A. and Lafratta, G. (2023) Model Checking for Closed-Loop Robot Reactive Planning. In: Fifth Workshop on Formal Methods for Autonomous Systems (FMAS 2023), Leiden, The Netherlands, 15-16 November 2023, pp. 77-94.

This list was generated on Wed Apr 17 22:44:26 2024 BST.
Number of items: 1.

Conference Proceedings

Chandler, C. , Porr, B. , Miller, A. and Lafratta, G. (2023) Model Checking for Closed-Loop Robot Reactive Planning. In: Fifth Workshop on Formal Methods for Autonomous Systems (FMAS 2023), Leiden, The Netherlands, 15-16 November 2023, pp. 77-94.

This list was generated on Wed Apr 17 22:44:26 2024 BST.