control barrier-value functions

control barrier-value functions is a model in our research taxonomy.