firstbacksecondback
2 Results
|
Poster
|
Robust Anytime Learning of Markov Decision Processes Marnix Suilen · Thiago D. Simão · David Parker · Nils Jansen |
||
|
Poster
|
Tue 9:00 |
General Cutting Planes for Bound-Propagation-Based Neural Network Verification Huan Zhang · Shiqi Wang · Kaidi Xu · Linyi Li · Bo Li · Suman Jana · Cho-Jui Hsieh · J. Zico Kolter |