G. Diniz

Latest

• Scale-Invariant Specifications for Human-Swarm Systems
• Ergodic Specifications for Flexible Swarm Control: From User Commands to Persistent Adaptation