PPaperPicks

Alessandro Farinelli

13 papers at tracked venues · 5 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3ECAI ×3IROS ×2AAMAS ×1EDBT ×1ICCV ×1ICML ×1KR ×1

Frequent coauthors

Alberto Castellini
×5
Luca Marzari
×4
Ferdinando Cicalese
×3
Daniele Meli
×3
Enrico Marchesini
×2
Francesco Taioli
×2
Edoardo Zorzi
×2
Marco Cristani
×2
Yiming Wang
×2
Manuele Bicego
×1
Celeste Veronese
×1
Isabella Mastroeni
×1

Papers

  1. On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
    AAAI 2026 ·
    Luca Marzari
    ,
    Manuele Bicego
    ,
    Ferdinando Cicalese
    , Alessandro Farinelli
  2. Symbolic Knowledge Transfer for Sample-Efficient Deep Reinforcement Learning
    KR 2026 ·
    Celeste Veronese
    , Alessandro Farinelli,
    Daniele Meli
  3. Advancing Neural Network Verification Through Hierarchical Safety Abstract Interpretation
    ECAI 2025 ·
    Luca Marzari
    ,
    Isabella Mastroeni
    , Alessandro Farinelli
  4. An Approximate Embedding for Designing Ethical Reinforcement Learning Environments
    ECAI 2025 ·
    Arnau Mayoral-Macau
    ,
    Manel Rodriguez-Soto
    ,
    Enrico Marchesini
    ,
    Martí Sánchez-Fibla
    ,
    Maite López-Sánchez
    ,
    Juan Antonio Rodríguez-Aguilar
    , Alessandro Farinelli
  5. Collaborative Instance Object Navigation: Leveraging Uncertainty-Awareness to Minimize Human-Agent Dialogues
    ICCV 2025 ·
    Francesco Taioli
    ,
    Edoardo Zorzi
    ,
    Gianni Franchi
    ,
    Alberto Castellini
    , Alessandro Farinelli,
    Marco Cristani
    ,
    Yiming Wang
  6. Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
    AAAI 2025 ·
    Daniele Meli
    ,
    Alberto Castellini
    , Alessandro Farinelli
  7. Monte Carlo Tree Search with Velocity Obstacles for Safe and Efficient Motion Planning in Dynamic Environments
    AAMAS 2025 ·
    Lorenzo Bonanni
    ,
    Daniele Meli
    ,
    Alberto Castellini
    , Alessandro Farinelli
  8. Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
    AAAI 2024 ·
    Luca Marzari
    ,
    Davide Corsi
    ,
    Enrico Marchesini
    , Alessandro Farinelli,
    Ferdinando Cicalese
  9. Mind the Error! Detection and Localization of Instruction Errors in Vision-and-Language Navigation
    IROS 2024 ·
    Francesco Taioli
    ,
    Stefano Rosa
    ,
    Alberto Castellini
    ,
    Lorenzo Natale
    ,
    Alessio Del Bue
    , Alessandro Farinelli,
    Marco Cristani
    ,
    Yiming Wang
  10. Path Re-Planning with Stochastic Obstacle Modeling: A Monte Carlo Tree Search Approach
    IROS 2024 ·
    Francesco Trotti
    , Alessandro Farinelli,
    Riccardo Muradore
  11. Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements
    EDBT 2024 ·
    Giovanni Alberto Beltrame
    ,
    Carlo Combi
    , Alessandro Farinelli,
    Roberto Posenato
    ,
    Giuseppe Pozzi
  12. Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations
    ECAI 2024 ·
    Luca Marzari
    ,
    Francesco Leofante
    ,
    Ferdinando Cicalese
    , Alessandro Farinelli
  13. Scalable Safe Policy Improvement for Factored Multi-Agent MDPs
    ICML 2024 ·
    Federico Bianchi
    ,
    Edoardo Zorzi
    ,
    Alberto Castellini
    ,
    Thiago D. Simão
    ,
    Matthijs T. J. Spaan
    , Alessandro Farinelli