Visible to the public 2020 Benchmark Proposal: Linear Systems by Haitham KhedrConflict Detection Enabled

No replies
ttj
ttj's picture
Offline
Established Community Member
Joined: Aug 15 2012

We'd like to propose a benchmark with linear dynamics. We consider a robot in a structured environment of polytypic obstacles, and we'd like to identify its safe regions of operation within the environment, given a trained NN.

Paper: https://dl.acm.org/doi/pdf/10.1145/3302504.3311802

Code: https://github.com/rcpsl/ReluVerify