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)

Learning from Demonstrations using Signal Temporal Logic. - Aniruddh Gopinath Puranic; Jyotirmoy Deshmukh; Stefanos Nikolaidis (CoRL, 2020)

Interpretable classification of time-series data using efficient enumerative techniques. - Sara Mohammadinejad; Jyotirmoy V. Deshmukh; Aniruddh Gopinath Puranic; Marcell Vazquez-Chanlatte; Alexandre Donzé (HSCC, 2020)

Mining Environment Assumptions for Cyber-Physical System Models. - Sara Mohammadinejad; Jyotirmoy V. Deshmukh; Aniruddh Gopinath Puranic (ICCPS, 2020)

Learning From Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains. - Aniruddh Gopinath Puranic; Jyotirmoy V. Deshmukh; Stefanos Nikolaidis (IEEE Robotics Autom. Lett., 2021)

Poster Abstract: Learning from Demonstrations with Temporal Logics. - Aniruddh Gopinath Puranic; Jyotirmoy Deshmukh; Stefanos Nikolaidis (HSCC, 2022)

Learning Performance Graphs From Demonstrations via Task-Based Evaluations. - Aniruddh Gopinath Puranic; Jyotirmoy V. Deshmukh; Stefanos Nikolaidis (IEEE Robotics Autom. Lett., 2023)

Signal Temporal Logic-Guided Apprenticeship Learning. - Aniruddh Gopinath Puranic; Jyotirmoy V. Deshmukh; Stefanos Nikolaidis (IROS, 2024)

BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis. - Ryan Matheu; Aniruddh Gopinath Puranic; John S. Baras; Calin Belta (HSCC, 2025)

Safety-Aware Reinforcement Learning for Control via Risk-Sensitive Action-Value Iteration and Quantile Regression. - Clinton Enwerem; Aniruddh Gopinath Puranic; John S. Baras; Calin Belta (CoRR, 2025)