research
∙
08/18/2023
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
Identifying safe areas is a key point to guarantee trust for systems tha...
share
research
∙
07/31/2023
Formally Explaining Neural Networks within Reactive Systems
Deep neural networks (DNNs) are increasingly being used as controllers i...
research
∙
03/06/2023
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation
The field of robotic Flexible Endoscopes (FEs) has progressed significan...
research
∙
01/17/2023
The #DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networks
Deep Neural Networks are increasingly adopted in critical tasks that req...
research
∙
06/20/2022
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming
Deep reinforcement learning (DRL) has achieved groundbreaking successes ...
research
∙
05/26/2022
Verifying Learning-Based Robotic Navigation Systems
Deep reinforcement learning (DRL) has become a dominant deep-learning pa...
research
∙
12/23/2021
Curriculum Learning for Safe Mapless Navigation
This work investigates the effects of Curriculum Learning (CL)-based app...
research
∙
12/16/2021
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation
We propose a novel benchmark environment for Safe Reinforcement Learning...
research
∙
09/06/2021
Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery
Deep Reinforcement Learning (DRL) is a viable solution for automating re...
research
∙
10/19/2020