PPaperPicks

Giuseppe De Giacomo

University of Oxford, UK

28 papers at tracked venues · 8 at CORE A* · active 2024–2026

DBLP profile ↗ORCID 0000-0001-9680-7658 ↗Google Scholar ↗Homepage ↗

Venues

AAAI ×8IJCAI ×7KR ×6ECAI ×3AAMAS ×1CAiSE ×1FM ×1ICAPS ×1

Frequent coauthors

Gianmarco Parretti
×8
Yves Lespérance
×6
Benjamin Aminof
×5
Sasha Rubin
×5
Shufang Zhu
×5
Fabio Patrizi
×4
Christoph Weinhuber
×3
Matteo Mancanelli
×3
Moshe Y. Vardi
×3
Yong Li
×2
Sven Schewe
×2
Giuseppe Perelli
×2

Papers

  1. Best-Effort Policies for Robust Markov Decision Processes
    AAAI 2026 ·
    Alessandro Abate
    ,
    Thom Badings
    , Giuseppe De Giacomo,
    Francesco Fabiano
  2. Capturing Processes in Probabilistic Timed Automata
    CAiSE 2026 ·
    Harry H. Beyel
    ,
    Maximilian Prokop
    ,
    Jan Kretínský
    , Giuseppe De Giacomo,
    Wil M. P. van der Aalst
  3. Good-for-MDP State Reduction for Stochastic LTL Planning
    AAAI 2026 ·
    Christoph Weinhuber
    , Giuseppe De Giacomo,
    Yong Li
    ,
    Sven Schewe
    ,
    Qiyi Tang
  4. Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus
    KR 2026 · Giuseppe De Giacomo,
    Yves Lespérance
    ,
    Matteo Mancanelli
    ,
    Gianmarco Parretti
  5. Specifying Agent Strategy Spaces via LTL Synthesis
    KR 2026 ·
    Benjamin Aminof
    , Giuseppe De Giacomo,
    Aniello Murano
    ,
    Sasha Rubin
  6. Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus
    AAAI 2026 · Giuseppe De Giacomo,
    Yves Lespérance
    ,
    Matteo Mancanelli
  7. Synthesis Foundations for Online LTLf Goal Management
    KR 2026 · Giuseppe De Giacomo,
    Yves Lespérance
    ,
    Gianmarco Parretti
    ,
    Fabio Patrizi
  8. Do Your Best, but Don't Take Too Many Chances: LTLf Synthesis of Minimal Best-Effort Strategies in FOND Domains
    ECAI 2025 · Giuseppe De Giacomo,
    Gianmarco Parretti
    ,
    Elisa Santini
  9. Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
    KR 2025 ·
    Daniel Hausmann
    ,
    Shufang Zhu
    ,
    Gianmarco Parretti
    ,
    Christoph Weinhuber
    , Giuseppe De Giacomo,
    Nir Piterman
  10. LTL Synthesis Under Multi-Agent Environment Assumptions
    KR 2025 ·
    Benjamin Aminof
    , Giuseppe De Giacomo,
    Giuseppe Perelli
    ,
    Sasha Rubin
  11. LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains
    ICAPS 2025 · Giuseppe De Giacomo,
    Gianmarco Parretti
    ,
    Shufang Zhu
  12. LTLf Synthesis Under Unreliable Input
    AAAI 2025 ·
    Christian Hagemeier
    , Giuseppe De Giacomo,
    Moshe Y. Vardi
  13. LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
    IJCAI 2025 ·
    Benjamin Aminof
    , Giuseppe De Giacomo,
    Sasha Rubin
    ,
    Moshe Y. Vardi
  14. Managing an Agent's Changing Intentions Using ltlf Synthesis
    AAMAS 2025 · Giuseppe De Giacomo,
    Yves Lespérance
    ,
    Gianmarco Parretti
    ,
    Fabio Patrizi
    ,
    Renzo Schram
  15. Responsibility Anticipation and Attribution in LTLf
    IJCAI 2025 · Giuseppe De Giacomo,
    Emiliano Lorini
    ,
    Timothy Parker
    ,
    Gianmarco Parretti
  16. Situation Calculus Temporally Lifted Abstractions for Generalized Planning
    AAAI 2025 · Giuseppe De Giacomo,
    Yves Lespérance
    ,
    Matteo Mancanelli
  17. Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
    IJCAI 2025 · Giuseppe De Giacomo,
    Yong Li
    ,
    Sven Schewe
    ,
    Christoph Weinhuber
    ,
    Pian Yu
  18. Abstraction of Situation Calculus Concurrent Game Structures
    AAAI 2024 ·
    Yves Lespérance
    , Giuseppe De Giacomo,
    Maryam Rostamigiv
    ,
    Shakil M. Khan
  19. Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments
    IJCAI 2024 ·
    Benjamin Aminof
    , Giuseppe De Giacomo,
    Gianmarco Parretti
    ,
    Sasha Rubin
  20. Lifted Planning: Recent Advances in Planning Using First-Order Representations
    IJCAI 2024 ·
    Augusto B. Corrêa
    , Giuseppe De Giacomo
  21. Mimicking Behaviors in Separated Domains (Abstract Reprint)
    AAAI 2024 · Giuseppe De Giacomo,
    Dror Fried
    ,
    Fabio Patrizi
    ,
    Shufang Zhu
  22. Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic
    FM 2024 ·
    Ben Greenman
    ,
    Siddhartha Prasad
    ,
    Antonio Di Stasio
    ,
    Shufang Zhu
    , Giuseppe De Giacomo,
    Shriram Krishnamurthi
    ,
    Marco Montali
    ,
    Tim Nelson
    ,
    Milda Zizyte
  23. Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes
    ECAI 2024 ·
    Gabriel Paludo Licks
    ,
    Fabio Patrizi
    , Giuseppe De Giacomo
  24. Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract)
    IJCAI 2024 ·
    Luigi Bonassi
    , Giuseppe De Giacomo,
    Marco Favorito
    ,
    Francesco Fuggitti
    ,
    Alfonso Emilio Gerevini
    ,
    Enrico Scala
  25. Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis
    KR 2024 ·
    Benjamin Aminof
    , Giuseppe De Giacomo,
    Sasha Rubin
    ,
    Florian Zuleger
  26. Pure-Past Action Masking
    AAAI 2024 ·
    Giovanni Varricchione
    ,
    Natasha Alechina
    ,
    Mehdi Dastani
    , Giuseppe De Giacomo,
    Brian Logan
    ,
    Giuseppe Perelli
  27. Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic
    ECAI 2024 ·
    Luigi Bonassi
    , Giuseppe De Giacomo,
    Alfonso Emilio Gerevini
    ,
    Enrico Scala
  28. The Trembling-Hand Problem for LTLf Planning
    IJCAI 2024 ·
    Pian Yu
    ,
    Shufang Zhu
    , Giuseppe De Giacomo,
    Marta Kwiatkowska
    ,
    Moshe Y. Vardi