Spectral Control of Cortical Activity

Resilient Flocking for Mobile Robot Teams

SMC: Satisfiability Modulo Convex Optimization