Learning a formally verified CBF in stochastic environment

Learning a formally verified CBF in stochastic environment

Related Papers

People

Manan Tayal
Safe Robot Learning and Control
Shishir Kolathaya
Assistant Professor, CSA & CPS, IISc
Last updated: 2024-06-17