CS Publications:
Lipsy Gupta and Pavithra Prabhakar. Star-Set Based Efficient Reachable Set Computation of Anytime Sensing-Based Neural Network-Controlled Dynamical Systems. Accepted to the International Conference on Embedded Software (EMSOFT), 2025
-Journal version published in ACM Transactions on Embedded Computing Systems, 2025Lipsy Gupta and Pavithra Prabhakar. Bisimulation-based reduction of Neural Network Controllers. Accepted to the IEEE Conference on Decision and Control (CDC), 2025
Lipsy Gupta, Jahid Chowdhury Choton and Pavithra Prabhakar. Safety Verification of Closed-loop Control System with Anytime Perception. International Conference on Robotics and Automation (ICRA), 2024
Habeeb P., Lipsy Gupta and Pavithra Prabhakar. Approximate Conformance Checking for Closed-Loop Systems with Neural Network Controllers. International Conference on Embedded Software (EMSOFT), 2024
-Journal version published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2024