
CPS-VIDA Lab
Verification, Intelligence, Design, and Analysis
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.