Title: Data-driven Verification for Safe Autonomy: Reachability, Entropy, and Perception Contracts Abstract Todays verification technologies for autonomous and cyber-physical systems require detailed models which is one of the barriers that […]