Publications

Conferences

• Learning from Demonstrations using Signal Temporal Logic Aniruddh G. Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis. In Conference on Robot Learning (CoRL), 2020.

  PDF Dataset Video

• Mining Environment Assumptions for Cyber-Physical System Models Sara Mohammadinejad, Aniruddh G. Puranic, Jyotirmoy V. Deshmukh. In 11th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Apr 2020.

• Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh G. Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé. In 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Apr 2020.

  PDF Code

• Structured Reward Shaping using Signal Temporal Logic specifications Anand Balakrishnan, Jyotirmoy V. Deshmukh. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Nov 2019.

  Poster PDF Code

• Shape Expressions for Specifying and Extracting Signal Features Best Paper Award Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh. In 19th International Conference on Runtime Verification (RV), Oct 2019.

• 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, Georgios Fainekos. In Design, Automation Test in Europe Conference Exhibition (DATE), Mar 2019.

  PDF Code

Preprints

• Model-based Reinforcement Learning from Signal Temporal Logic Specifications Parv Kapoor, Anand Balakrishnan, Jyotirmoy V. Deshmukh. In CoRR abs/2011.04950, 2020.

• Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning Xin Qin, Nikos Aréchiga, Andrew Best, Jyotirmoy V. Deshmukh. In CoRR abs/1910.13645, Oct 2019.

• Using Logical Specifications of Objectives in Multi-Objective Reinforcement Learning Kolby Nottingham, Anand Balakrishnan, Jyotirmoy Deshmukh, Connor Christopherson, David Wingate. In CoRR abs/1910.01723, Oct 2019.