Specifying and Evaluating Quality Metrics for Vision-based Perception Systems. - Anand Balakrishnan 001; Aniruddh Gopinath Puranic; Xin Qin; Adel Dokhanchi; Jyotirmoy V. Deshmukh; Heni Ben Amor; Georgios Fainekos (DATE, 2019)

Structured reward functions using STL: poster abstract. - Anand Balakrishnan 001; Jyotirmoy V. Deshmukh (HSCC, 2019)

Structured Reward Shaping using Signal Temporal Logic specifications. - Anand Balakrishnan 001; Jyotirmoy V. Deshmukh (IROS, 2019)

Augmenting visual SLAM with Wi-Fi sensing for indoor applications. - Zakieh S. Hashemifar; Charuvahan Adhivarahan; Anand Balakrishnan 001; Karthik Dantu (Auton. Robots, 2019)

Using Logical Specifications of Objectives in Multi-Objective Reinforcement Learning. - Kolby Nottingham; Anand Balakrishnan 001; Jyotirmoy V. Deshmukh; Connor Christopherson; David Wingate (CoRR, 2019)

Model-based Reinforcement Learning from Signal Temporal Logic Specifications. - Parv Kapoor; Anand Balakrishnan 001; Jyotirmoy V. Deshmukh (CoRR, 2020)

PerceMon: Online Monitoring for Perception Systems. - Anand Balakrishnan 001; Jyotirmoy Deshmukh; Bardh Hoxha; Tomoya Yamaguchi 001; Georgios Fainekos (RV, 2021)

Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. - Anand Balakrishnan 001; Stefan Jaksic; Edgar A. Aguilar; Dejan Nickovic; Jyotirmoy Deshmukh (HSCC, 2022)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. - Anand Balakrishnan 001; Stefan Jaksic; Edgar A. Aguilar; Dejan Nickovic; Jyotirmoy Deshmukh (CoRR, 2022)

Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata. - Anand Balakrishnan 001; Stefan Jaksic; Edgar A. Aguilar; Dejan Nickovic; Jyotirmoy V. Deshmukh (CDC, 2023)

Safety Monitoring for Pedestrian Detection in Adverse Conditions. - Swapnil Mallick; Shuvam Ghosal; Anand Balakrishnan 001; Jyotirmoy Deshmukh (RV, 2023)

Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods. - Anand Balakrishnan 001; Merve Atasever; Jyotirmoy V. Deshmukh (IROS, 2024)

Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. - Anand Balakrishnan 001; Rohit Bernard; Shreeram Narayanan; Vidisha Kudalkar; Yiqi Zhao; Parinitha Nagaraja; Georgi A. Markov; Christof J. Budnik; Helmut Degen; Lars Lindemann; Jyotirmoy V. Deshmukh (MEMOCODE, 2024)

Multi-agent Path Finding for Timed Tasks Using Evolutionary Games. - Sheryl Paul; Anand Balakrishnan 001; Xin Qin; Jyotirmoy V. Deshmukh (QEST+FORMATS, 2024)

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata. - Anand Balakrishnan 001; Sheryl Paul; Simone Silvetti; Laura Nenzi; Jyotirmoy V. Deshmukh (HSCC, 2025)