Lipsy Gupta

According to our database¹, Lipsy Gupta authored at least 2 papers in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Approximate Conformance Checking for Closed-Loop Systems With Neural Network Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Safety Verification of Closed-loop Control System with Anytime Perception.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2024