About Me
Anand Balakrishnan

I am a Ph.D. Student in the Department of Computer Science at the University of Southern California. I am advised by Prof. Jyotirmoy Deshmukh and part of the CPS-VIDA group. My research interests lie in the intersection of Formal Methods, Control Theory, and Artificial Intelligence.
I am currently working on projects involving:
- Synthesis and verification of controllers for autonomous systems by combining techniques from formal methods (like temporal logics) and data-driven controller synthesis (namely reinforcement learning).
- Game theoretical analysis of systems involving autonomous multi-agent systems.
- Coordination between heterogenous robot teams to perform tasks efficiently.
Before this, I received my B.S. in Computer Engineering from the University at Buffalo in 2018, where I also worked with Prof. Karthik Dantu at the Distributed Robotics and Networked Embedded Systems Lab.
Publications
-
Structured Reward Shaping Using Signal Temporal Logic Specifications
Anand Balakrishnan, and Jyotirmoy V. Deshmukh.
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
-
Using Logical Specifications of Objectives in Multi-Objective Reinforcement Learning
Kolby Nottingham, Anand Balakrishnan, Jyotirmoy Deshmukh, Connor Christopherson, and David Wingate.
arXiv/1910.01723
-
Augmenting Visual SLAM with Wi-Fi Sensing for Indoor Applications
Zakieh S. Hashemifar, Charuvahan Adhivarahan, Anand Balakrishnan, and Karthik Dantu.
Autonomous Robots
-
Structured Reward Functions Using STL: Poster Abstract
Anand Balakrishnan, and Jyotirmoy V. Deshmukh.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control
-
Specifying and Evaluating Quality Metrics for Vision-Based Perception Systems
Anand Balakrishnan, Aniruddh G. Puranic, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, and Georgios Fainekos.
2019 Design, Automation Test in Europe Conference Exhibition (DATE)