research
∙
09/19/2023
Safe POMDP Online Planning via Shielding
Partially observable Markov decision processes (POMDPs) have been widely...
share
research
∙
09/11/2023
Distributional Probabilistic Model Checking
Probabilistic model checking can provide formal guarantees on the behavi...
research
∙
06/11/2023
CARNA: Characterizing Advanced heart failure Risk and hemodyNAmic phenotypes using learned multi-valued decision diagrams
Early identification of high risk heart failure (HF) patients is key to ...
research
∙
05/17/2023
Explainable Multi-Agent Reinforcement Learning for Temporal Queries
As multi-agent reinforcement learning (MARL) systems are increasingly de...
research
∙
03/02/2023
GlucoSynth: Generating Differentially-Private Synthetic Glucose Traces
In this paper we focus on the problem of generating high-quality, privat...
research
∙
11/23/2022
Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems
Machine Learning (ML) technologies have been increasingly adopted in Med...
research
∙
08/29/2022
Enjoy the Ride Consciously with CAWA: Context-Aware Advisory Warnings for Automated Driving
In conditionally automated driving, drivers decoupled from driving while...
research
∙
08/17/2022
A Study on Learning and Simulating Personalized Car-Following Driving Style
Automated vehicles are gradually entering people's daily life to provide...
research
∙
06/17/2022
Logic-based Reward Shaping for Multi-Agent Reinforcement Learning
Reinforcement learning (RL) relies heavily on exploration to learn from ...
research
∙
04/26/2022
Toward Policy Explanations for Multi-Agent Reinforcement Learning
Advances in multi-agent reinforcement learning (MARL) enable sequential ...
research
∙
05/10/2021
Multi-Objective Controller Synthesis with Uncertain Human Preferences
Multi-objective controller synthesis concerns the problem of computing a...
research
∙
01/27/2021
Safe Multi-Agent Reinforcement Learning via Shielding
Multi-agent reinforcement learning (MARL) has been increasingly used in ...
research
∙
01/09/2021
Trust-Based Route Planning for Automated Vehicles
Several recent works consider the personalized route planning based on u...
research
∙
12/31/2020
DeepTake: Prediction of Driver Takeover Behavior using Multimodal Data
Automated vehicles promise a future where drivers can engage in non-driv...
research
∙
12/11/2020
Probabilistic Conditional System Invariant Generation with Bayesian Inference
Invariants are a set of properties over program attributes that are expe...
research
∙
11/01/2020
Towards Personalized Explanation of Robotic Planning via User Feedback
Prior studies have found that providing explanations about robots' decis...
research
∙
10/31/2020
CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities
We present CityPM, a novel predictive monitoring system for smart cities...
research
∙
03/16/2020
Towards Transparent Robotic Planning via Contrastive Explanations
Providing explanations of chosen robotic actions can help to increase th...
research
∙
12/17/2019
EyeCar: Modeling the Visual Attention Allocation of Drivers in Semi-Autonomous Vehicles
A safe transition between autonomous and manual control requires sustain...
research
∙
08/06/2019
Runtime Monitoring of Safety and Performance Requirements in Smart Cities
With the increasing number of smart services implemented in smart cities...
research
∙
08/06/2019
Runtime Monitoring of Real time Safety Requirements in Smart Cities
There is an increasing need for the runtime monitoring of real time safe...
research
∙
06/24/2019
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
Type I Diabetes (T1D) is a chronic disease in which the body's ability t...
research
∙
04/16/2019
A Case Study of Trust on Autonomous Driving
As autonomous vehicles have benefited the society, understanding the dyn...
research
∙
10/16/2018
The Effect of Whole-Body Haptic Feedback on Driver's Perception in Negotiating a Curve
It remains uncertain regarding the safety of driving in autonomous vehic...
research
∙
03/23/2018