Juan Antonio Piñera García

Publication Activity (10 Years)

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

Top Topics

Signature Verification

Robotic Systems

Unstructured Environments

Handling Uncertainty

Top Venues

Publications

Ricardo Caldas, Juan Antonio Piñera García, Matei Schiopu, Patrizio Pelliccione, Genaína Nunes Rodrigues, Thorsten Berger
Runtime Verification and Field Testing for ROS-Based Robotic Systems. CoRR (2024)
Gianluca Filippone, Juan Antonio Piñera García, Marco Autili, Patrizio Pelliccione
Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation. SEAMS@ICSE (2024)