Alessandro Farinelli
17 papers · 2010–2026 · 7 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (29) π Conference Polyglot Β· Silver π Academic Marathon Β· Full π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π
Grand Slam
π§¬
Topic Evolution
π
Renaissance Researcher
(6)
π₯
Unstoppable Β· Bronze
π
Conference Pioneer
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(73)
Top co-authors
Research topics
Artificial Intelligence
(9)
Core AI
(9)
Reinforcement Learning
(7)
Machine Learning
(6)
Methods
(6)
Optimization & Theory
(4)
Mathematics & Optimization
(2)
Applications
(2)
Learning Types
(2)
Mathematics
(2)
Optimization
(2)
Deep Learning
(1)
Knowledge & Reasoning
(1)
Natural Language Processing
(1)
Robotics
(1)
Keywords
neural network verification
(4)
formal verification
(4)
monte carlo tree search
(3)
deep reinforcement learning
(3)
online planning
(2)
policy improvement
(2)
evolutionary algorithm
(2)
markov random field
(2)
safety-critical system
(2)
policy optimization
(1)
human-robot interaction
(1)
approximate inference
(1)
reinforcement learning
(1)
partially observable markov decision process
(1)
constrained optimization
(1)
autonomous driving
(1)
offline reinforcement learning
(1)
max-product algorithm
(1)
algorithm analysis
(1)
constraint optimization
(1)
Papers
On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
AAAI 2026
Collaborative Instance Object Navigation: Leveraging Uncertainty-Awareness to Minimize Human-Agent Dialogues
ICCV 2025
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
AAAI 2025
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
AAAI 2024
Scalable Safe Policy Improvement for Factored Multi-Agent MDPs
ICML 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
NeurIPS 2010