firstbacksecondback
2 Results
|
Poster
|
Tue 15:15 |
Exact Verification of ReLU Neural Control Barrier Functions Hongchao Zhang · Junlin Wu · Yevgeniy Vorobeychik · Andrew Clark |
|
|
Workshop
|
Identifying Representations for Intervention Extrapolation Sorawit Saengkyongam · Elan Rosenfeld · Pradeep Ravikumar · Niklas Pfister · Jonas Peters |