research
∙
01/28/2022
Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications
We present a Deep Reinforcement Learning (DRL) algorithm for a task-guid...
share
research
∙
12/28/2021
Time-Incremental Learning from Data Using Temporal Logics
Real-time and human-interpretable decision-making in cyber-physical syst...
research
∙
12/20/2021
Learning Spatio-Temporal Specifications for Dynamical Systems
Learning dynamical systems properties from data provides important insig...
research
∙
10/01/2021
Classification of Time-Series Data Using Boosted Decision Trees
Time-series data classification is central to the analysis and control o...
research
∙
05/24/2021
Inferring Temporal Logic Properties from Data using Boosted Decision Trees
Many autonomous systems, such as robots and self-driving cars, involve r...
research
∙
05/06/2021
A Control Architecture for Provably-Correct Autonomous Driving
This paper presents a novel two-level control architecture for a fully a...
research
∙
10/17/2019