91 citations · 273 across the 67 of their papers we have counts for
1 paper · 2 filters
Eric Vin, Kyle A. Miller, Inigo Incer +2
Full verification of learning-enabled cyber-physical systems (CPS) has long been intractable due to challenges including black-box components and complex real-world environments. E…