1 paper
Thomas Waite, Alexander Robey, Hassani Hamed +2
This paper addresses the problem of data-driven modeling and verification of perception-based autonomous systems. We assume the perception model can be decomposed into a canonical…