Specification-Guided Automated Debugging of CPS Models. - Nikhil Kumar Singh 004; Indranil Saha (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Specification Guided Automated Synthesis of Feedback Controllers. - Nikhil Kumar Singh 004; Indranil Saha (ACM Trans. Embed. Comput. Syst., 2021)

STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning. - Nikhil Kumar Singh 004; Indranil Saha (AAAI, 2023)

Frugal Actor-Critic: Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences. - Nikhil Kumar Singh 004; Indranil Saha (AAMAS, 2024)