Learning Distributed Controllers for V-Formation. - Shouvik Roy; Usama Mehmood; Radu Grosu; Scott A. Smolka; Scott D. Stoller; Ashish Tiwari 001 (ACSOS, 2020)

Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. - Usama Mehmood; Shouvik Roy; Radu Grosu; Scott A. Smolka; Scott D. Stoller; Ashish Tiwari 001 (FoSSaCS, 2020)

Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. - Shouvik Roy; Usama Mehmood; Radu Grosu; Scott A. Smolka; Scott D. Stoller; Ashish Tiwari 001 (ACC, 2021)

A Barrier Certificate-Based Simplex Architecture with Application to Microgrids. - Amol Damare; Shouvik Roy; Scott A. Smolka; Scott D. Stoller (RV, 2022)

Runtime-Assured, Real-Time Neural Control of Microgrids. - Amol Damare; Shouvik Roy; Scott A. Smolka; Scott D. Stoller (CoRR, 2022)

A distributed simplex architecture for multi-agent systems. - Usama Mehmood; Shouvik Roy; Amol Damare; Radu Grosu; Scott A. Smolka; Scott D. Stoller (J. Syst. Archit., 2023)

Cumulative-Time Signal Temporal Logic. - Hongkai Chen 001; Zeyu Zhang; Shouvik Roy; Ezio Bartocci; Scott A. Smolka; Scott D. Stoller; Shan Lin 001 (CoRR, 2025)