Safety Verification of Closed-loop Control System with Anytime Perception. - Lipsy Gupta; Jahid Chowdhury Choton; Pavithra Prabhakar (ICRA, 2024)

Approximate Conformance Checking for Closed-Loop Systems With Neural Network Controllers. - Habeeb P; Lipsy Gupta; Pavithra Prabhakar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)