Compositional Approximately Bisimilar Abstractions of Interconnected Systems. - Sadek Belamfedel Alaoui; Saharsh; Pushpak Jagtap; Adnane Saoud (CoRR, 2022)

Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control. - David Smith Sundarsingh; Jay Bhagiya; Saharsh; Jeel Chatrola; Adnane Saoud; Pushpak Jagtap (CDC, 2023)

Controller Synthesis for Local and Global Specifications in Multi-Agent Systems. - David Smith Sundarsingh; Jay Bhagiya; Saharsh; Jeel Chatrola; Adnane Saoud; Pushpak Jagtap (CoRR, 2023)