Abstract: The proliferation of cloud service providers offering diverse Quality of Service (QoS) attributes has made the selection of optimal services a complex multi-criteria decision-making problem.

Safety-critical systems are all around us in the modern world, from autonomous cars to aerial systems. In recent years, Control Barrier Functions (CBFs) [1] have proven to be a versatile method for ...