Indranil Saha

1. STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning
   2022/12/02 by Nikhil Kumar Singh, Indranil Saha, Singh, Nikhil Kumar +1 · 2 citations
   Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification
2. SPARCAS: A Decentralized, Truthful Multi-Agent Collision-free Path\n Finding Mechanism
   2019/09/18 by Sankar Das, Das, Sankar, Swaprava Nath +4 · 1 citation
   Decision Sciences · Computer Science · #Auction Theory and Applications #Optimization and Search Problems #Blockchain Technology Applications and Security
3. MT* : Multi-Robot Path Planning for Temporal Logic Specifications
   2021/03/04 by Dhaval Gujarathi, Gujarathi, Dhaval, Indranil Saha +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Robotics (cs.RO) #Software Testing and Debugging Techniques
4. Online On-Demand Multi-Robot Coverage Path Planning
   2023/02/28 by Ratijit Mitra, Mitra, Ratijit, Indranil Saha +1 · 1 citation
   Computer Science · Engineering · #FOS: Computer and information sciences #Optimization and Search Problems #Robotic Path Planning Algorithms #Robotics (cs.RO) #Robotics and Sensor-Based Localization