Verification, Intelligence, Design, and Analysis
- Learning from Demonstrations using Signal Temporal Logic
Aniruddh G. Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis.
In Conference on Robot Learning (CoRL), 2020.
- 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 Eﬀicient 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.
- 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.
- 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.
- 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.