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

Luca Marzari
DBLP profile ↗ORCID search ↗
×4
Francesco Taioli
DBLP profile ↗ORCID search ↗
×2
Celeste Veronese
DBLP profile ↗ORCID search ↗
×1
Arnau Mayoral-Macau
DBLP profile ↗ORCID search ↗
×1
Daniele Meli
DBLP profile ↗ORCID search ↗
×1
Lorenzo Bonanni
DBLP profile ↗ORCID search ↗
×1
Francesco Trotti
DBLP profile ↗ORCID search ↗
×1
Giovanni Alberto Beltrame
DBLP profile ↗ORCID search ↗
×1
Federico Bianchi
DBLP profile ↗ORCID search ↗
×1

Papers

  1. On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
    AAAI 2026 ·
    Luca Marzari
    DBLP profile ↗ORCID search ↗
  2. Symbolic Knowledge Transfer for Sample-Efficient Deep Reinforcement Learning
    KR 2026 ·
    Celeste Veronese
    DBLP profile ↗ORCID search ↗
  3. Advancing Neural Network Verification Through Hierarchical Safety Abstract Interpretation
    ECAI 2025 ·
    Luca Marzari
    DBLP profile ↗ORCID search ↗
  4. An Approximate Embedding for Designing Ethical Reinforcement Learning Environments
    ECAI 2025 ·
    Arnau Mayoral-Macau
    DBLP profile ↗ORCID search ↗
  5. Collaborative Instance Object Navigation: Leveraging Uncertainty-Awareness to Minimize Human-Agent Dialogues
    ICCV 2025 ·
    Francesco Taioli
    DBLP profile ↗ORCID search ↗
  6. Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
    AAAI 2025 ·
    Daniele Meli
    DBLP profile ↗ORCID search ↗
  7. Monte Carlo Tree Search with Velocity Obstacles for Safe and Efficient Motion Planning in Dynamic Environments
    AAMAS 2025 ·
    Lorenzo Bonanni
    DBLP profile ↗ORCID search ↗
  8. Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
    AAAI 2024 ·
    Luca Marzari
    DBLP profile ↗ORCID search ↗
  9. Mind the Error! Detection and Localization of Instruction Errors in Vision-and-Language Navigation
    IROS 2024 ·
    Francesco Taioli
    DBLP profile ↗ORCID search ↗
  10. Path Re-Planning with Stochastic Obstacle Modeling: A Monte Carlo Tree Search Approach
    IROS 2024 ·
    Francesco Trotti
    DBLP profile ↗ORCID search ↗
  11. Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements
    EDBT 2024 ·
    Giovanni Alberto Beltrame
    DBLP profile ↗ORCID search ↗
  12. Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations
    ECAI 2024 ·
    Luca Marzari
    DBLP profile ↗ORCID search ↗
  13. Scalable Safe Policy Improvement for Factored Multi-Agent MDPs
    ICML 2024 ·
    Federico Bianchi
    DBLP profile ↗ORCID search ↗