Anand Balakrishnan

1. Model-based Reinforcement Learning from Signal Temporal Logic Specifications
   2020/11/10 by Parv Kapoor, Kapoor, Parv, Anand Balakrishnan +3 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO
   2026/07/29 by Sheryl Paul, Vidisha Kudalkar, Anand Balakrishnan +3
   Computer Science · #cs.AI #cs.MA