52 citations · 112 across the 27 of their papers we have counts for
27 papers
I2EDL: Interactive Instruction Error Detection and Localization
Francesco Taioli, Stefano Rosa, Alberto Castellini +5
In the Vision-and-Language Navigation in Continuous Environments (VLN-CE) task, the human user guides an autonomous agent to reach a target goal via a series of low-level actions f…
Mind the Error! Detection and Localization of Instruction Errors in Vision-and-Language Navigation
Francesco Taioli, Stefano Rosa, Alberto Castellini +5
Vision-and-Language Navigation in Continuous Environments (VLN-CE) is one of the most intuitive yet challenging embodied AI tasks. Agents are tasked to navigate towards a target go…
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…
Language-enhanced RNR-Map: Querying Renderable Neural Radiance Field maps with natural language
Francesco Taioli, Federico Cunico, Federico Girella +3
We present Le-RNR-Map, a Language-enhanced Renderable Neural Radiance map for Visual Navigation with natural language query prompts. The recently proposed RNR-Map employs a grid st…
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
Luca Marzari, Davide Corsi, Enrico Marchesini +2
Identifying safe areas is a key point to guarantee trust for systems that are based on Deep Neural Networks (DNNs). To this end, we introduce the AllDNN-Verification problem: given…
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…
Unsupervised Active Visual Search with Monte Carlo planning under Uncertain Detections
Francesco Taioli, Francesco Giuliari, Yiming Wang +6
We propose a solution for Active Visual Search of objects in an environment, whose 2D floor map is the only known information. Our solution has three key features that make it more…
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation
Davide Corsi, Luca Marzari, Ameya Pore +4
The field of robotic Flexible Endoscopes (FEs) has progressed significantly, offering a promising solution to reduce patient discomfort. However, the limited autonomy of most robot…
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…
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks
Luca Marzari, Davide Corsi, Ferdinando Cicalese +1
Deep Neural Networks are increasingly adopted in critical tasks that require a high level of safety, e.g., autonomous driving. While state-of-the-art verifiers can be employed to c…
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming
Davide Corsi, Raz Yerushalmi, Guy Amir +3
Deep reinforcement learning (DRL) has achieved groundbreaking successes in a wide variety of robotic applications. A natural consequence is the adoption of this paradigm for safety…
Verifying Learning-Based Robotic Navigation Systems
Guy Amir, Davide Corsi, Raz Yerushalmi +4
Deep reinforcement learning (DRL) has become a dominant deep-learning paradigm for tasks where complex policies are learned within reactive systems. Unfortunately, these policies a…
An attention model for the formation of collectives in real-world domains
Adrià Fenoy, Filippo Bistaffa, Alessandro Farinelli
We consider the problem of forming collectives of agents for real-world applications aligned with Sustainable Development Goals (e.g., shared mobility, cooperative learning). We pr…
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…
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation
Enrico Marchesini, Davide Corsi, Alessandro Farinelli
We propose a novel benchmark environment for Safe Reinforcement Learning focusing on aquatic navigation. Aquatic navigation is an extremely challenging task due to the non-stationa…
Centralizing State-Values in Dueling Networks for Multi-Robot Reinforcement Learning Mapless Navigation
Enrico Marchesini, Alessandro Farinelli
We study the problem of multi-robot mapless navigation in the popular Centralized Training and Decentralized Execution (CTDE) paradigm. This problem is challenging when each robot…
Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery
Ameya Pore, Davide Corsi, Enrico Marchesini +4
Deep Reinforcement Learning (DRL) is a viable solution for automating repetitive surgical subtasks due to its ability to learn complex behaviours in a dynamic environment. This tas…
POMP++: Pomcp-based Active Visual Search in unknown indoor environments
Francesco Giuliari, Alberto Castellini, Riccardo Berra +5
In this paper we focus on the problem of learning online an optimal policy for Active Visual Search (AVS) of objects in unknown indoor environments. We propose POMP++, a planning s…
Rule-based Shielding for Partially Observable Monte-Carlo Planning
Giulio Mazzi, Alberto Castellini, Alessandro Farinelli
Partially Observable Monte-Carlo Planning (POMCP) is a powerful online algorithm able to generate approximate policies for large Partially Observable Markov Decision Processes. The…
Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks
Luca Marzari, Ameya Pore, Diego Dall'Alba +3
Deep Reinforcement Learning (DRL) is emerging as a promising approach to generate adaptive behaviors for robotic platforms. However, a major drawback of using DRL is the data-hungr…
Identification of Unexpected Decisions in Partially Observable Monte-Carlo Planning: a Rule-Based Approach
Giulio Mazzi, Alberto Castellini, Alessandro Farinelli
Partially Observable Monte-Carlo Planning (POMCP) is a powerful online algorithm able to generate approximate policies for large Partially Observable Markov Decision Processes. The…
Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification
Davide Corsi, Enrico Marchesini, Alessandro Farinelli
Groundbreaking successes have been achieved by Deep Reinforcement Learning (DRL) in solving practical decision-making problems. Robotics, in particular, can involve high-cost hardw…
POMP: Pomcp-based Online Motion Planning for active visual search in indoor environments
Yiming Wang, Francesco Giuliari, Riccardo Berra +5
In this paper we focus on the problem of learning an optimal policy for Active Visual Search (AVS) of objects in known indoor environments with an online setup. Our POMP method use…