Curriculum Learning for Safe Mapless Navigation

Curriculum Learning for Safe Mapless Navigation

23 December 2021

Enrico Marchesini

Alessandro Farinelli

Papers citing "Curriculum Learning for Safe Mapless Navigation"

11 / 11 papers shown

Title
Eurekaverse: Environment Curriculum Generation via Large Language Models William Liang Sam Wang Hung-Ju Wang Osbert Bastani Dinesh Jayaraman Yecheng Jason Ma SyDa 41 2 0 04 Nov 2024
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks Tianhao Wei Luca Marzari Kai S. Yun Hanjiang Hu Peizhi Niu Xusheng Luo Changliu Liu 45 0 0 30 Jun 2024
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing Luca Marzari Gabriele Roncolato Alessandro Farinelli 22 1 0 10 Dec 2023
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees Luca Marzari Davide Corsi Enrico Marchesini Alessandro Farinelli Ferdinando Cicalese AAML 18 11 0 18 Aug 2023
Reinforcement Learning by Guided Safe Exploration Qisong Yang T. D. Simão N. Jansen Simon Tindemans M. Spaan OffRL OnRL 34 5 0 26 Jul 2023
Safe Deep Reinforcement Learning by Verifying Task-Level Properties Enrico Marchesini Luca Marzari Alessandro Farinelli Chris Amato OffRL 24 13 0 20 Feb 2023
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation Luca Marzari Enrico Marchesini Alessandro Farinelli OffRL 26 12 0 13 Feb 2023
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks Luca Marzari Davide Corsi Ferdinando Cicalese Alessandro Farinelli AAML 32 16 0 17 Jan 2023
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 94 37 0 26 May 2022
Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks Luca Marzari Ameya Pore Diego DallÁlba G. Aragon-Camarasa Alessandro Farinelli Paolo Fiorini 38 28 0 08 Feb 2021
Curriculum Learning: A Survey Petru Soviany Radu Tudor Ionescu Paolo Rota N. Sebe ODL 79 342 0 25 Jan 2021