Giuseppe De Giacomo

Venues

Frequent coauthors

Papers

1. Best-Effort Policies for Robust Markov Decision Processes
   AAAI 2026 ·

   Alessandro Abate

   DBLP profile ↗ORCID search ↗
2. Good-for-MDP State Reduction for Stochastic LTL Planning
   AAAI 2026 ·

   Christoph Weinhuber

   DBLP profile ↗ORCID search ↗
3. Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus
   KR 2026 · Giuseppe De Giacomo
4. Specifying Agent Strategy Spaces via LTL Synthesis
   KR 2026 ·

   Benjamin Aminof

   DBLP profile ↗ORCID search ↗
5. Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus
   AAAI 2026 · Giuseppe De Giacomo
6. Synthesis Foundations for Online LTLf Goal Management
   KR 2026 · Giuseppe De Giacomo
7. 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
8. Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
   KR 2025 ·

   Daniel Hausmann

   DBLP profile ↗ORCID search ↗
9. LTL Synthesis Under Multi-Agent Environment Assumptions
   KR 2025 ·

   Benjamin Aminof

   DBLP profile ↗ORCID search ↗
10. LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains
    ICAPS 2025 · Giuseppe De Giacomo
11. LTLf Synthesis Under Unreliable Input
    AAAI 2025 ·

    Christian Hagemeier

    DBLP profile ↗ORCID search ↗
12. LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
    IJCAI 2025 ·

    Benjamin Aminof

    DBLP profile ↗ORCID search ↗
13. Managing an Agent's Changing Intentions Using ltlf Synthesis
    AAMAS 2025 · Giuseppe De Giacomo
14. Responsibility Anticipation and Attribution in LTLf
    IJCAI 2025 · Giuseppe De Giacomo
15. Situation Calculus Temporally Lifted Abstractions for Generalized Planning
    AAAI 2025 · Giuseppe De Giacomo
16. Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
    IJCAI 2025 · Giuseppe De Giacomo
17. Abstraction of Situation Calculus Concurrent Game Structures
    AAAI 2024 ·

    Yves Lespérance

    DBLP profile ↗ORCID search ↗
18. Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments
    IJCAI 2024 ·

    Benjamin Aminof

    DBLP profile ↗ORCID search ↗
19. Lifted Planning: Recent Advances in Planning Using First-Order Representations
    IJCAI 2024 ·

    Augusto B. Corrêa

    DBLP profile ↗ORCID search ↗
20. Mimicking Behaviors in Separated Domains (Abstract Reprint)
    AAAI 2024 · Giuseppe De Giacomo
21. Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes
    ECAI 2024 ·

    Gabriel Paludo Licks

    DBLP profile ↗ORCID search ↗
22. Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract)
    IJCAI 2024 ·

    Luigi Bonassi

    DBLP profile ↗ORCID search ↗
23. Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis
    KR 2024 ·

    Benjamin Aminof

    DBLP profile ↗ORCID search ↗
24. Pure-Past Action Masking
    AAAI 2024 ·

    Giovanni Varricchione

    DBLP profile ↗ORCID search ↗
25. Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic
    ECAI 2024 ·

    Luigi Bonassi

    DBLP profile ↗ORCID search ↗
26. The Trembling-Hand Problem for LTLf Planning
    IJCAI 2024 ·

    Pian Yu

    DBLP profile ↗ORCID search ↗