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, 2025
Lipsy 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

Math Publications:

Lipsy Gupta and Manisha Aggarwal. Split continuity: a different perspective. Topology Appl., 2022
Lipsy Gupta and S. Kundu. Cauchy-subregular functions vis-à-vis different types of continuity. Topology Appl., 2022
Manisha Aggarwal and Lipsy Gupta. Uniform Split Continuity. J. Math. Anal. Appl., 2022
Lipsy Gupta and S. Kundu. Cofinal completeness vis-à-vis hyperspaces. Rev. R. Acad. Science. Exactas Fís. Nat. Ser. A. Mat. (RACSAM), 2021
Lipsy Gupta and S. Kundu. Cofinal completion vis-à-vis Cauchy continuity and total boundedness. Topology Appl., 2021
Lipsy Gupta and Subiman Kundu. Functions that preserve certain classes of sequences and locally Lipschitz functions. Ann. Acad. Sci. Fenn. Math., 2020

Subiman Kundu, Manisha Aggarwal and Lipsy Gupta. Cofinally Complete Metric Spaces and related Functions. World Scientific Publishing Co. Pte. Ltd., Singapore, 2023