Muhammad Waqas, Nikhil Vijay Naik, Petros Ioannou, Pierluigi Nuzzo. Contract-Based Control Synthesis with Barrier Functions for Vehicular Mission Planning. In 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022. pages 2216-2221, IEEE, 2022. [doi]
Abstract is missing.