vix.ing · top · new · best · stats · spec

Ellie Pond

  1. Fast Verification of Control Barrier Functions via Linear Programming
    2022/12/01 by Ellie Pond, Matthew Hale, Pond, Ellie +1 · 1 citation
    Computer Science · Decision Sciences · Engineering · #FOS: Electrical engineering #Formal Methods in Verification #Probabilistic and Robust Engineering Design #Radiation Effects in Electronics #Systems and Control (eess.SY) #electronic engineering #information engineering