Search Results for author: Alberto Castellini

Found 6 papers, 3 papers with code

Learning Logic Specifications for Soft Policy Guidance in POMCP

1 code implementation16 Mar 2023 Giulio Mazzi, Daniele Meli, Alberto Castellini, Alessandro Farinelli

In this paper, we use inductive logic programming to learn logic specifications from traces of POMCP executions, i. e., sets of belief-action pairs generated by the planner.

Inductive logic programming

Rule-based Shielding for Partially Observable Monte-Carlo Planning

1 code implementation28 Apr 2021 Giulio Mazzi, Alberto Castellini, Alessandro Farinelli

Results show that the shielded POMCP outperforms the standard POMCP in a case study in which a wrong parameter of POMCP makes it select wrong actions from time to time.

Robot Navigation

Identification of Unexpected Decisions in Partially Observable Monte-Carlo Planning: a Rule-Based Approach

1 code implementation23 Dec 2020 Giulio Mazzi, Alberto Castellini, Alessandro Farinelli

We propose an iterative process of trace analysis consisting of three main steps, i) the definition of a question by means of a parametric logical formula describing (probabilistic) relationships between beliefs and actions, ii) the generation of an answer by computing the parameters of the logical formula that maximize the number of satisfied clauses (solving a MAX-SMT problem), iii) the analysis of the generated logical formula and the related decision boundaries for identifying unexpected decisions made by POMCP with respect to the original question.

Anomaly Detection Robot Navigation

Cannot find the paper you are looking for? You can Submit a new open access paper.