Safety Verification of Closed-loop Control System with Anytime Perception

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]

Authors

Lipsy Gupta

This author has not been identified. Look up 'Lipsy Gupta' in Google

Jahid Chowdhury Choton

This author has not been identified. Look up 'Jahid Chowdhury Choton' in Google

Pavithra Prabhakar

This author has not been identified. Look up 'Pavithra Prabhakar' in Google