@article{agrammarfortherepresentationofunmanned, title = {A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies}, author = {Piergiuseppe Mallozzi and Hussein Sibai and Inigo Incer and Sanjit A. Seshia and Alberto Sangiovanni-Vincentelli}, year = {2023}, eprint = {2302.13980}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2302.13980v1}, }