1. Agarwal, S., Muthukrishnan, R., Gosrich, W., Kumar, V., and Ribeiro, A. (2024). Lpac: Learnable perception-action-communication loops with applications to coverage control. ArXiv:2401.04855.
2. Control barrier functions: Theory and applications;Ames;In ECC,2019
3. Formally verified neural network control barrier certificates for unknown systems;Anand;In IFAC World Congress,2023
4. Interconnected dynamic systems: An overview on distributed control;Antonelli;IEEE-CSS Magazine,2013
5. A delta-sampling verification theorem for discrete-time, possibly discontinuous systems;Bobiti;In HSCC,2015