Saharsh

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Controller Synthesis

Top Venues

Publications

David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap
Controller Synthesis for Local and Global Specifications in Multi-Agent Systems. CoRR (2023)
David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap
Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control. CDC (2023)
Belamfedel Alaoui Sadek, Saharsh, Pushpak Jagtap, Adnane Saoud
Compositional Approximately Bisimilar Abstractions of Interconnected Systems. CoRR (2022)