Lipsy Gupta

Orcid: 0000-0001-6825-9797

According to our database¹, Lipsy Gupta authored at least 4 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Star-Set Based Efficient Reachable Set Computation of Anytime Sensing-Based Neural Network-Controlled Dynamical Systems.

[DOI]

ACM Trans. Embed. Comput. Syst., 2025

Bisimulation-based reduction of neural network controllers.

[DOI]

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

2024

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

[DOI]

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

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

[DOI]

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