• Mining Environment Assumptions for Cyber-Physical System Models Accepted 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 Accepted 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.


  • 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