Anand Balakrishnan

According to our database, Anand Balakrishnan authored at least 15 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata.

Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi, Jyotirmoy V. Deshmukh

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

2024

Multi-agent Path Finding for Timed Tasks Using Evolutionary Games.

Sheryl Paul, Anand Balakrishnan, Xin Qin, Jyotirmoy V. Deshmukh

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

Safety Assurance for Autonomous Systems with Multiple Sensor Modalities.

Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi A. Markov, Christof J. Budnik, Helmut Degen, Lars Lindemann, Jyotirmoy V. Deshmukh

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods.

Anand Balakrishnan, Merve Atasever, Jyotirmoy V. Deshmukh

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

2023

Safety Monitoring for Pedestrian Detection in Adverse Conditions.

Swapnil Mallick, Shuvam Ghosal, Anand Balakrishnan, Jyotirmoy Deshmukh

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata.

Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy V. Deshmukh

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.

Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh

CoRR, 2022

Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.

Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

PerceMon: Online Monitoring for Perception Systems.

Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos

Proceedings of the Runtime Verification - 21st International Conference, 2021

2020

Model-based Reinforcement Learning from Signal Temporal Logic Specifications.

Parv Kapoor, Anand Balakrishnan, Jyotirmoy V. Deshmukh

CoRR, 2020

2019

Using Logical Specifications of Objectives in Multi-Objective Reinforcement Learning.

Kolby Nottingham, Anand Balakrishnan, Jyotirmoy V. Deshmukh, Connor Christopherson, David Wingate

CoRR, 2019

Augmenting visual SLAM with Wi-Fi sensing for indoor applications.

Zakieh S. Hashemifar, Charuvahan Adhivarahan, Anand Balakrishnan, Karthik Dantu

Auton. Robots, 2019

Structured Reward Shaping using Signal Temporal Logic specifications.

Anand Balakrishnan, Jyotirmoy V. Deshmukh

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Structured reward functions using STL: poster abstract.

Anand Balakrishnan, Jyotirmoy V. Deshmukh

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Specifying and Evaluating Quality Metrics for Vision-based Perception Systems.

Anand Balakrishnan, Aniruddh Gopinath Puranic, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, Georgios Fainekos

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019