Training Verified Neural Control Barrier Functions

2026

1. ICRA 2026 Workshop

   

   CP-NCBF: A conformal prediction-based approach to synthesize verified neural control barrier functions

   Manan Tayal^*, Aditya Singh^*, Pushpak Jagtap, and Shishir Kolathaya

   In ICRA 2026 Workshop on Uncertainty in Open-World Robotics, 2026

   arXiv Bib

   @inproceedings{tayal2025cp,
     title = {CP-NCBF: A conformal prediction-based approach to synthesize verified neural control barrier functions},
     author = {Tayal, Manan and Singh, Aditya and Jagtap, Pushpak and Kolathaya, Shishir},
     booktitle = {ICRA 2026 Workshop on Uncertainty in Open-World Robotics},
     year = {2026}
   }

2024

1. CDC

   

   Learning a Formally Verified Control Barrier Function in Stochastic Environment

   Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, and Shishir Kolathaya

   In 2024 IEEE 63rd Conference on Decision and Control (CDC), 2024

   DOI arXiv Bib Code

   @inproceedings{tayal2024learning,
     author = {Tayal, Manan and Zhang, Hongchao and Jagtap, Pushpak and Clark, Andrew and Kolathaya, Shishir},
     booktitle = {2024 IEEE 63rd Conference on Decision and Control (CDC)},
     title = {Learning a Formally Verified Control Barrier Function in Stochastic Environment},
     year = {2024},
     pages = {4098-4104},
     keywords = {Training;Jacobian matrices;Sufficient conditions;Filters;Heuristic algorithms;Neural networks;Control systems;Safety;Collision avoidance;Autonomous vehicles},
     doi = {10.1109/CDC56724.2024.10886052}
   }