Usama Mehmood

A Distributed Simplex Architecture for Multi-Agent Systems pdf

Radu Grosu, Scott A. Smolka, Scott D. Stoller, 2020, SETTA.

Declarative vs rule-based control for flocking dynamics

Ashish Tiwari, Radu Grosu, Nicola Paoletti, 2017, SAC.

Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers

Radu Grosu, Ashish Tiwari, Scott A. Smolka, 2019, FoSSaCS.

Model Checking Cyber-Physical Systems using Particle Swarm Optimization pdf

Radu Grosu, Scott A. Smolka, Scott D. Stoller, 2017, ArXiv.

Learning Distributed Controllers for V-Formation

Radu Grosu, Ashish Tiwari, Scott A. Smolka, 2020, 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS).

The black-box simplex architecture for runtime assurance of multi-agent CPS

S. Stoller, S. Smolka, Usama Mehmood, 2024, Innovations in Systems and Software Engineering.

The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS

S. Stoller, S. Smolka, Stanley Bak, 2021, NFM.