We stand with Ukraine  

Nikhil Kumar Singh

Orcid: 0000-0002-8057-9934

Affiliations:
  • Indian Institute of Technology Kanpur, India


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Frugal Actor-Critic: Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences.
[BibTeX]
[DOI]
Nikhil Kumar Singh
,
Indranil Saha
CoRR, 2024

2023
STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning.
[BibTeX]
[DOI]
Nikhil Kumar Singh
,
Indranil Saha
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021
Specification Guided Automated Synthesis of Feedback Controllers.
[BibTeX]
[DOI]
Nikhil Kumar Singh
,
Indranil Saha
ACM Trans. Embed. Comput. Syst., 2021

2020
Specification-Guided Automated Debugging of CPS Models.
[BibTeX]
[DOI]
Nikhil Kumar Singh
,
Indranil Saha
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020


  Loading...