14 citations · 14 across the 3 of their papers we have counts for
5 papers · 1 filter
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
Daniele Meli, Alberto Castellini, Alessandro Farinelli
Partially Observable Markov Decision Processes (POMDPs) are a powerful framework for planning under uncertainty. They allow to model state uncertainty as a belief probability distr…
Learning Logic Specifications for Soft Policy Guidance in POMCP
Giulio Mazzi, Daniele Meli, Alberto Castellini +1
Partially Observable Monte Carlo Planning (POMCP) is an efficient solver for Partially Observable Markov Decision Processes (POMDPs). It allows scaling to large state spaces by com…
Safe Deep Reinforcement Learning by Verifying Task-Level Properties
Enrico Marchesini, Luca Marzari, Alessandro Farinelli +1
Cost functions are commonly employed in Safe Deep Reinforcement Learning (DRL). However, the cost is typically encoded as an indicator function due to the difficulty of quantifying…
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation
Luca Marzari, Enrico Marchesini, Alessandro Farinelli
Safety is essential for deploying Deep Reinforcement Learning (DRL) algorithms in real-world scenarios. Recently, verification approaches have been proposed to allow quantifying th…
Curriculum Learning for Safe Mapless Navigation
Luca Marzari, Davide Corsi, Enrico Marchesini +1
This work investigates the effects of Curriculum Learning (CL)-based approaches on the agent's performance. In particular, we focus on the safety aspect of robotic mapless navigati…