1 paper · 1 filter
Saksham Goel, Benjamin Mikek, Jehad Aly +3
Performance verification is a nascent but promising tool for understanding the performance and limitations of heuristics under realistic assumptions. Bespoke performance verificati…