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. (doi: 10.4204/EPTCS.395.6)

This list was generated on Tue Dec 3 23:40:37 2024 GMT.
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. (doi: 10.4204/EPTCS.395.6)

This list was generated on Tue Dec 3 23:40:37 2024 GMT.