vix.ing · top · new · best · stats · spec

Singh, Nikhil Kumar

  1. STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning
    2022/12/02 by Nikhil Kumar Singh, Singh, Nikhil Kumar, Indranil Saha +1 · 2 citations
    Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification