Giulia Lafratta

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Alternating Time Temporal Logic

Desired Trajectory

Reactive Planning

Top Venues

Publications

Giulia Lafratta, Bernd Porr, Christopher Chandler, Alice Miller
Homeostatic motion planning with innate physics knowledge. CoRR (2024)
Christopher Chandler, Bernd Porr, Alice Miller, Giulia Lafratta
Model Checking for Closed-Loop Robot Reactive Planning. CoRR (2023)