no code implementations • 20 Feb 2022 • Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller
Furthermore, BC-Simplex features a new automated method for deriving, from the barrier certificate, the conditions for switching between the controllers.