Alessandro Farinelli
17 papers · 2010–2026 · 7 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
🏃 Academic Marathon (15) 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (7) 🐝 Cross-Pollinator (15)
🌍
Conference Polyglot
(7)
🏃
Academic Marathon
(15)
🧭
Keyword Pioneer
🧬
Topic Evolution
🏆
Grand Slam
🔥
Unstoppable
(5)
💎
Century Club
(16)
🚀
Conference Pioneer
🗃️
Keyword Collector
(65)
Conferences
IJCAI (6)
AAAI (4)
ICCV (2)
ICML (2)
ICLR (1)
NIPS (1)
UAI (1)
Top co-authors
Keywords
neural network verification
(4)
formal verification
(3)
monte carlo tree search
(2)
online planning
(2)
deep reinforcement learning
(2)
markov random field
(2)
probabilistic inference
(1)
policy optimization
(1)
reinforcement learning
(1)
constrained optimization
(1)
offline reinforcement learning
(1)
partially observable markov decision process
(1)
policy iteration
(1)
max-product algorithm
(1)
autonomous driving
(1)
optimization bounds
(1)
algorithm analysis
(1)
bayesian regret
(1)
answer set programming
(1)
constraint optimization
(1)
Papers
On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
AAAI 2026
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
AAAI 2025
Collaborative Instance Object Navigation: Leveraging Uncertainty-Awareness to Minimize Human-Agent Dialogues
ICCV 2025
Scalable Safe Policy Improvement for Factored Multi-Agent MDPs
ICML 2024
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
AAAI 2024
Scalable Safe Policy Improvement via Monte Carlo Tree Search
ICML 2023
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks
IJCAI 2023
Exploring Safer Behaviors for Deep Reinforcement Learning
AAAI 2022
Formal verification of neural networks for safety-critical tasks in deep reinforcement learning
UAI 2021
Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning
ICLR 2021
Influence of State-Variable Constraints on Partially Observable Monte Carlo Planning
IJCAI 2019
A COP Model for Graph-Constrained Coalition Formation (Extended Abstract)
IJCAI 2018
A Monte Carlo Tree Search approach to Active Malware Analysis
IJCAI 2017
Region-Based Correspondence Between 3D Shapes via Spatially Smooth Biclustering
ICCV 2017
Biclustering Gene Expressions Using Factor Graphs and the Max-Sum Algorithm
IJCAI 2015
C-Link: A Hierarchical Clustering Approach to Large-Scale Near-Optimal Coalition Formation
IJCAI 2013
Worst-case bounds on the quality of max-product fixed-points
NIPS 2010