TY - RPRT TI - A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies AU - Piergiuseppe Mallozzi AU - Hussein Sibai AU - Inigo Incer AU - Sanjit A. Seshia AU - Alberto Sangiovanni-Vincentelli PY - 2023 UR - https://arxiv.org/abs/2302.13980 ID - 2302.13980 ER -