124 citations · 140 across the 13 of their papers we have counts for
1 paper · 2 filters
Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames
Leveraging recent developments in black-box risk-aware verification, we provide three algorithms that generate probabilistic guarantees on (1) optimality of solutions, (2) recursiv…