Lipsy Gupta, Jahid Chowdhury Choton, Pavithra Prabhakar. Safety Verification of Closed-loop Control System with Anytime Perception. In IEEE International Conference on Robotics and Automation, ICRA 2024, Yokohama, Japan, May 13-17, 2024. pages 227-233, IEEE, 2024. [doi]