research
∙
09/13/2023
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception
In this work, we consider the problem of autonomous exploration in searc...
share
research
∙
04/13/2023
Robustness Measures and Monitors for Time Window Temporal Logic
Temporal logics (TLs) have been widely used to formalize interpretable t...
research
∙
03/16/2023
Symbolic Perception Risk in Autonomous Driving
We develop a novel framework to assess the risk of misperception in a tr...
research
∙
10/04/2022
Learning Signal Temporal Logic through Neural Network for Interpretable Classification
Machine learning techniques using neural networks have achieved promisin...
research
∙
10/03/2022
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
This paper explores continuous-time control synthesis for target-driven ...
research
∙
09/20/2022
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
This work presents a step towards utilizing incrementally-improving symb...
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...
research
∙
12/28/2021
Time-Incremental Learning from Data Using Temporal Logics
Real-time and human-interpretable decision-making in cyber-physical syst...
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
∙
09/07/2021
Safe-Critical Modular Deep Reinforcement Learning with Temporal Logic through Gaussian Processes and Control Barrier Functions
Reinforcement learning (RL) is a promising approach and has limited succ...
research
∙
08/03/2021
Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot
Transporting objects using quadrotors with cables has been widely studie...
research
∙
07/28/2021
Automata-based Optimal Planning with Relaxed Specifications
In this paper, we introduce an automata-based framework for planning wit...
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
∙
09/30/2020
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
In this work, we focus on decomposing large multi-agent path planning pr...
research
∙
09/03/2019
Average-based Robustness for Continuous-Time Signal Temporal Logic
We propose a new robustness score for continuous-time Signal Temporal Lo...
research
∙
03/12/2019
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
We present a new average-based robustness score for Signal Temporal Logi...
research
∙
08/01/2018
Metrics for Signal Temporal Logic Formulae
Signal Temporal Logic (STL) is a formal language for describing a broad ...
research
∙
12/11/2016