research
∙
09/17/2023
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference
We consider data-driven reachability analysis of discrete-time stochasti...
share
research
∙
04/05/2023
Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts
Many real-world systems often involve physical components or operating e...
research
∙
12/05/2022
Multi Agent Path Finding using Evolutionary Game Theory
In this paper, we consider the problem of path finding for a set of homo...
research
∙
11/03/2022
Conformal Prediction for STL Runtime Verification
We are interested in predicting failures of cyber-physical systems durin...
research
∙
10/14/2022
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
In this paper, we consider the problem of synthesizing a controller in t...
research
∙
07/01/2022
Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic
Natural language is an intuitive way for humans to communicate tasks to ...
research
∙
06/29/2022
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic
Automated vehicles (AV) heavily depend on robust perception systems. Cur...
research
∙
04/12/2022
Learning Performance Graphs from Demonstrations via Task-Based Evaluations
In the learning from demonstration (LfD) paradigm, understanding and eva...
research
∙
02/04/2022
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
Reinforcement learning (RL) is a popular approach for robotic path plann...
research
∙
07/29/2021
Non-Markovian Reinforcement Learning using Fractional Dynamics
Reinforcement learning (RL) is a technique to learn the control policy f...
research
∙
02/15/2021
Learning from Demonstrations using Signal Temporal Logic
Learning-from-demonstrations is an emerging paradigm to obtain effective...
research
∙
11/10/2020
Model-based Reinforcement Learning from Signal Temporal Logic Specifications
Techniques based on Reinforcement Learning (RL) are increasingly being u...
research
∙
07/20/2020
DiffRNN: Differential Verification of Recurrent Neural Networks
Recurrent neural networks (RNNs) such as Long Short Term Memory (LSTM) n...
research
∙
05/18/2020
Mining Environment Assumptions for Cyber-Physical System Models
Many complex cyber-physical systems can be modeled as heterogeneous comp...
research
∙
07/24/2019
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
Cyber-physical system applications such as autonomous vehicles, wearable...
research
∙
11/12/2018
Joint Probability Distribution of Prediction Errors of ARIMA
Producing probabilistic guarantee for several steps of a predicted signa...
research
∙
04/11/2018
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems
We present a simulation-based approach for generating barrier certificat...
research
∙
02/24/2018
