research
∙
03/29/2022
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing
In this paper, we consider the problem of formally verifying a Neural Ne...
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
∙
04/06/2021