Giulia Lafratta

Research title: Real-time cognitive map learning and reasoning in a robot with core knowledge

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 Sat Jul 20 19:41:21 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 Sat Jul 20 19:41:21 2024 BST.