research
∙
06/20/2023
Individual Treatment Effects in Extreme Regimes
Understanding individual treatment effects in extreme regimes is importa...
share
research
∙
06/12/2023
Robust Reinforcement Learning through Efficient Adversarial Herding
Although reinforcement learning (RL) is considered the gold standard for...
research
∙
03/13/2023
A Modular Platform For Collaborative, Distributed Sensor Fusion
Leading autonomous vehicle (AV) platforms and testing infrastructures ar...
research
∙
03/06/2023
Securing Autonomous Vehicles Under Partial-Information Cyber Attacks on LiDAR Data
Safety is paramount in autonomous vehicles (AVs). Auto manufacturers hav...
research
∙
03/03/2023
Stealthy Perception-based Attacks on Unmanned Aerial Vehicles
In this work, we study vulnerability of unmanned aerial vehicles (UAVs) ...
research
∙
02/05/2023
Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment
Deep brain stimulation (DBS) has shown great promise toward treating mot...
research
∙
01/28/2023
Variational Latent Branching Model for Off-Policy Evaluation
Model-based methods have recently shown great potential for off-policy e...
research
∙
12/28/2022
AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development
Pioneers of autonomous vehicles (AVs) promised to revolutionize the driv...
research
∙
05/25/2022
Transportation-Inequalities, Lyapunov Stability and Sampling for Dynamical Systems on Continuous State Space
We study the concentration phenomenon for discrete-time random dynamical...
research
∙
07/05/2021
Imputation-Free Learning from Incomplete Observations
Although recent works have developed methods that can generate estimatio...
research
∙
06/13/2021
Security Analysis of Camera-LiDAR Semantic-Level Fusion Against Black-Box Attacks on Autonomous Vehicles
To enable safe and reliable decision-making, autonomous vehicles (AVs) f...
research
∙
04/04/2021
Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes
This paper proposes a reinforcement learning method for controller synth...
research
∙
03/26/2021
Model-Free Learning of Safe yet Effective Controllers
In this paper, we study the problem of learning safe control policies th...
research
∙
03/10/2021
Learning-Based Vulnerability Analysis of Cyber-Physical Systems
This work focuses on the use of deep learning for vulnerability analysis...
research
∙
03/08/2021
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers
In this work, we address the problem of formal safety verification for s...
research
∙
02/08/2021
Learning Optimal Strategies for Temporal Tasks in Stochastic Games
Linear temporal logic (LTL) is widely used to formally specify complex t...
research
∙
11/03/2020
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning
We consider the problem of security-aware planning in an unknown stochas...
research
∙
10/02/2020
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
We study the problem of synthesizing control strategies for Linear Tempo...
research
∙
07/11/2020
Context-Aware Temporal Logic for Probabilistic Systems
In this paper, we introduce the context-aware probabilistic temporal log...
research
∙
06/15/2020
Learning Expected Reward for Switched Linear Control Systems: A Non-Asymptotic View
In this work, we show existence of invariant ergodic measure for switche...
research
∙
06/11/2020
Deep Learning for Stable Monotone Dynamical Systems
Monotone systems, originating from real-world (e.g., biological or chemi...
research
∙
11/26/2019
Hyperproperties for Robotics: Motion Planning via HyperLTL
There is a growing interest on formal methods-based robotic motion plann...
research
∙
09/16/2019
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
We present a reinforcement learning (RL) framework to synthesize a contr...
research
∙
06/17/2019
Statistical Verification of Hyperproperties for Cyber-Physical System
Many important properties of cyber-physical systems (CPS) are defined up...
research
∙
03/25/2019
A Scalable and Optimal Graph-Search Method for Secure State Estimation
The growing complexity of modern Cyber-Physical Systems (CPS) and the fr...
research
∙
02/12/2019
Security-Aware Synthesis Using Delayed-Action Games
Stochastic multiplayer games (SMGs) have gained attention in the field o...
research
∙
02/11/2019
Statistical Model Checking for Probabilistic Hyperproperties
In this paper, we propose the temporal logic HyperPCTL^* that extends PC...
research
∙
11/08/2018
Integrating Security in Resource-Constrained Cyber-Physical Systems
Defense mechanisms against network-level attacks are commonly based on t...
research
∙
10/01/2017