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
∙
03/06/2023
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation
The field of robotic Flexible Endoscopes (FEs) has progressed significan...
research
∙
02/20/2023
Safe Deep Reinforcement Learning by Verifying Task-Level Properties
Cost functions are commonly employed in Safe Deep Reinforcement Learning...
research
∙
02/13/2023
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation
Safety is essential for deploying Deep Reinforcement Learning (DRL) algo...
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
∙
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
∙
02/08/2021