Farinelli, Alessandro
26 publications
AAAI
2025
Learning Logic Specifications for Policy Guidance in POMDPs: An Inductive Logic Programming Approach
JAIR
2024
Learning Logic Specifications for Policy Guidance in POMDPs: An Inductive Logic Programming Approach
ICCVW
2023
Language-Enhanced RNR-mAP: Querying Renderable Neural Radiance Field Maps with Natural Language
UAI
2021
Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning