Distributed control of systems with uncertain initial conditions. - Devaprakash Muniraj; Mazen Farhood (ACC, 2017)

Enforcing Signal Temporal Logic Specifications in Multi-Agent Adversarial Environments: A Deep Q-Learning Approach. - Devaprakash Muniraj; Kyriakos G. Vamvoudakis; Mazen Farhood (CDC, 2018)

Robustness Analysis of Uncertain Time-Varying Interconnected Systems Using Integral Quadratic Constraints. - Dany Abou Jaoude; Devaprakash Muniraj; Mazen Farhood (ACC, 2019)

A Distributed Connectivity Maintenance Algorithm for a Network of Unmanned Underwater Vehicles Under Communication Constraints. - Devaprakash Muniraj; Mazen Farhood; Daniel J. Stilwell (CDC, 2020)

On Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Study. - Devaprakash Muniraj; Dany Abou Jaoude; Mazen Farhood (IEEE Access, 2020)

LFT Representation of a Class of Nonlinear Systems: A Data-Driven Approach. - Sourav Sinha; Devaprakash Muniraj; Mazen Farhood (ECC, 2021)

Physical-Layer Attacks Against Pulse Width Modulation-Controlled Actuators. - Gökçen Yilmaz Dayanikli; Sourav Sinha; Devaprakash Muniraj; Ryan M. Gerdes; Mazen Farhood; Mani Mina (USENIX Security Symposium, 2022)

A Distributed Connectivity Maintenance Algorithm With Formal Guarantees for a Communication-Constrained Network of Unmanned Underwater Vehicles. - Devaprakash Muniraj; Hans He; Mazen Farhood; Daniel J. Stilwell (IEEE Syst. J., 2022)

A Scalable Compositional Falsification Approach for Identifying Challenging Scenarios in Cyber-Physical Systems. - Devaprakash Muniraj; Mazen Farhood (IEEE Syst. J., 2023)