research
∙
10/11/2022
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
This paper presents a neurosymbolic framework to solve motion planning p...
share
research
∙
09/03/2021
Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach
While conventional reinforcement learning focuses on designing agents th...
research
∙
02/22/2021
Provably Correct Training of Neural Network Controllers Using Reachability Analysis
In this paper, we consider the problem of training neural network (NN) c...
research
∙
04/20/2020
Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems
In this paper, we consider the problem of automatically designing a Rect...
research
∙
10/31/2018