Model Checking Cyber-Physical Systems using Particle Swarm Optimization. - Dung T. Phan; Scott A. Smolka; Radu Grosu; Usama Mehmood; Scott D. Stoller; Junxing Yang (CoRR, 2017)

Declarative vs rule-based control for flocking dynamics. - Usama Mehmood; Nicola Paoletti; Dung T. Phan; Radu Grosu; Shan Lin 001; Scott D. Stoller; Ashish Tiwari 001; Junxing Yang; Scott A. Smolka (SAC, 2018)

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)

Collision-Free 3D Flocking Using the Distributed Simplex Architecture. - Usama Mehmood; Scott D. Stoller; Radu Grosu; Scott A. Smolka (Formal Methods in Outer Space, 2021)

Safe CPS from unsafe controllers. - Usama Mehmood; Stanley Bak; Scott A. Smolka; Scott D. Stoller (CAADCPS@CPSIoTWeek, 2021)

The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS. - Usama Mehmood; Sanaz Sheikhi; Stanley Bak; Scott A. Smolka; Scott D. Stoller (NFM, 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)

The black-box simplex architecture for runtime assurance of multi-agent CPS. - Sanaz Sheikhi; Usama Mehmood; Stanley Bak; Scott A. Smolka; Scott D. Stoller (Innov. Syst. Softw. Eng., 2025)