Publications

Journal Articles and Book Chapters

• Learning from Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains Aniruddh G. Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis. In IEEE Robotics and Automation Letters (RA-L), IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2021.

• Specifying and Detecting Temporal Patterns With Shape Expressions Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh. In International Journal on Software Tools for Technology Transfer (STTT), 2021.

• Mining Shape Expressions from Positive Examples Ezio Bartocci, Jyotirmoy V. Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2021.

Conferences

• Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems Sara Mohammadinejad, Jyotirmy V. Deshmukh, Laura Nenzi. In International Symposium on Automated Technology for Verification and Analysis (ATVA), 2021.

• DiffRNN: Differential Verification of Recurrent Neural Networks Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang. In International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2021.

  PDF

• Clairvoyant Monitoring for Signal Temporal Logic Xin Qin, Jyotirmoy V. Deshmukh. In International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2020.

• 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

• Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference Chuchu Fan, Xin Qin, Yuan Xia, Aditya Zutshi, Jyotirmoy V. Deshmukh. In CoRR abs/2004.00279, 2021.

• PerceMon: Online Monitoring for Perception Systems Anand Balakrishnan, Jyotirmoy V. Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos. In CoRR abs/2108.08289, 2021.

• 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.