← Authors

Giuseppe De Giacomo

49 papers · 2013–2026 · 2 conferences · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird πŸŒ‰ Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) πŸƒ Academic Marathon (12) 🐝 Cross-Pollinator (7) 🌈 Renaissance Researcher (7) πŸ—ΊοΈ Taxonomy Completionist (32) 🏠 Conference Loyalist (35) πŸ† Keyword Champion (3) 🀝 Dynamic Duo (10) πŸ”¬ Deep Specialist (23) πŸ’Ž Century Club (46) πŸ”₯ Unstoppable (11) ⚑ Prolific Year (7) πŸš€ Conference Pioneer πŸ—ƒοΈ Keyword Collector (147)

Conferences

IJCAI (35) AAAI (14)

Top co-authors

Sasha Rubin (10) Yves LespΓ©rance (8) Benjamin Aminof (6) Fabio Patrizi (6) Moshe Y. Vardi (6) Shufang Zhu (6) Paolo Felli (4) Diego Calvanese (4) Marco Favorito (3) Marco Montali (3)

Keywords

temporal logic (14) linear temporal logic (11) formal verification (8) strategy synthesis (7) situation calculus (7) game theory (6) automated planning (6) markov decision process (6) finite trace (5) automata theory (5) model checking (4) reactive synthesis (4) formal methods (3) strategic reasoning (3) refinement mapping (3) first-order logic (3) generalized planning (2) constraint satisfaction (2) discrete mathematics (2) pac learning (2)

Papers

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