no code implementations • 15 Sep 2022 • Muhammad Waqas, Nikhil Vijay Naik, Petros Ioannou, Pierluigi Nuzzo
The STL predicates are then mapped to an aggregation of contracts associated with continuously differentiable time-varying control barrier functions.