Picture for Marco Roveri

Marco Roveri

University of Trento

Constructing Behavior Trees from Temporal Plans for Robotic Applications

Add code
Jun 25, 2024
Viaarxiv icon

Semantic-based Loco-Manipulation for Human-Robot Collaboration in Industrial Environments

Add code
Dec 22, 2023
Viaarxiv icon

Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters

Add code
Oct 03, 2023
Viaarxiv icon

When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications

Add code
Sep 26, 2023
Viaarxiv icon

Implementing BDI Continual Temporal Planning for Robotic Agents

Add code
Sep 01, 2023
Viaarxiv icon

Computing unsatisfiable cores for LTLf specifications

Add code
Mar 09, 2022
Figure 1 for Computing unsatisfiable cores for LTLf specifications
Figure 2 for Computing unsatisfiable cores for LTLf specifications
Figure 3 for Computing unsatisfiable cores for LTLf specifications
Figure 4 for Computing unsatisfiable cores for LTLf specifications
Viaarxiv icon