Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes. - Sandeep Gorantla; Jeel Chatrola; Jay Bhagiya; Adnane Saoud; Pushpak Jagtap (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)

Autonomous Exploration Using Ground Robots with Safety Guarantees. - David Smith Sundarsingh; Jay Bhagiya; Jeel Chatrola; Pushpak Jagtap (IROS, 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)

Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints. - Jeel Chatrola; Abhiroop Ajith; Kevin Leahy 001; Constantinos Chamzas (HSCC, 2025)