Scale-Invariant Specifications for Human-Swarm Systems.
Joel MeyerAhalya PrabhakarAllison PinoskyIan AbrahamAnnalisa T. TaylorMillicent SchlaflyKatarina PopovicGiovani DinizBrendan TeichBorislava I. SimidchievaShane ClarkTodd D. MurpheyPublished in: CoRR (2022)