7 citations · 16 across the 6 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2023
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer +2
We propose a context-sensitive grammar for the systematic exploration of the design space of the topology of 3D robots, particularly unmanned aerial vehicles. It defines production…
cs.RO2022
Contract-Based Specification Refinement and Repair for Mission Planning
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo +1
We address the problem of modeling, refining, and repairing formal specifications for robotic missions using assume-guarantee contracts. We show how to model mission specifications…