Nikhil Kumar Singh

According to our database, Nikhil Kumar Singh authored at least 4 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Frugal Actor-Critic: Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences.

Nikhil Kumar Singh, Indranil Saha

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning.

Nikhil Kumar Singh, Indranil Saha

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021

Specification Guided Automated Synthesis of Feedback Controllers.

Nikhil Kumar Singh, Indranil Saha

ACM Trans. Embed. Comput. Syst., 2021

2020

Specification-Guided Automated Debugging of CPS Models.

Nikhil Kumar Singh, Indranil Saha

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020