Giuseppe De Giacomo

Best-Effort Policies for Robust Markov Decision Processes AAAI 2026 Good-for-MDP State Reduction for Stochastic LTL Planning AAAI 2026 Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus AAAI 2026 LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces IJCAI 2025 LTLf Synthesis Under Unreliable Input AAAI 2025 Responsibility Anticipation and Attribution in LTLf IJCAI 2025 Situation Calculus Temporally Lifted Abstractions for Generalized Planning AAAI 2025 Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives IJCAI 2025 Abstraction of Situation Calculus Concurrent Game Structures AAAI 2024 Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments IJCAI 2024 Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024 Mimicking Behaviors in Separated Domains (Abstract Reprint) AAAI 2024 Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract) IJCAI 2024 Pure-Past Action Masking AAAI 2024 The Trembling-Hand Problem for LTLf Planning IJCAI 2024 Abstraction of Nondeterministic Situation Calculus Action Theories IJCAI 2023 Automata Cascades: Expressivity and Sample Complexity AAAI 2023 Exploiting Multiple Abstractions in Episodic RL via Reward Shaping AAAI 2023 Reactive Synthesis of Dominant Strategies AAAI 2023 Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments IJCAI 2022 LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work IJCAI 2022 Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes IJCAI 2022 Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) IJCAI 2022 Synthesis of Maximally Permissive Strategies for LTLf Specifications IJCAI 2022 Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces IJCAI 2022 Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up IJCAI 2021 Efficient PAC Reinforcement Learning in Regular Decision Processes IJCAI 2021 Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis IJCAI 2021 HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs IJCAI 2021 Intensional and Extensional Views in DL-Lite Ontologies IJCAI 2021 ElGolog: A High-Level Programming Language with Memory of the Execution History AAAI 2020 LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020 Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020 Synthesizing strategies under expected and exceptional environment behaviors IJCAI 2020 Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains IJCAI 2019 Regular Decision Processes: A Model for Non-Markovian Domains IJCAI 2019 Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019 Abstraction of Agents Executing Online and their Abilities in the Situation Calculus IJCAI 2018 Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals IJCAI 2018 Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints IJCAI 2017 Imperfect-Information Games and Generalized Planning IJCAI 2016 Online Agent Supervision in the Situation Calculus IJCAI 2016 Data Complexity of Query Answering in Description Logics (Extended Abstract) IJCAI 2015 Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis IJCAI 2015 On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies IJCAI 2015 Synthesis for LTL and LDL on Finite Traces IJCAI 2015 Bounded Epistemic Situation Calculus Theories IJCAI 2013 Linear Temporal Logic and Linear Dynamic Logic on Finite Traces IJCAI 2013 Supremal Realizability of Behaviors with Uncontrollable Exogenous Events IJCAI 2013