LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. - Giuseppe De Giacomo; Gianmarco Parretti; Shufang Zhu 001 (ECAI, 2023)

Symbolic sc ltlf Best-Effort Synthesis. - Giuseppe De Giacomo; Gianmarco Parretti; Shufang Zhu 001 (EUMAS, 2023)

ltlf Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications. - Gianmarco Parretti (EUMAS, 2023)

Symbolic LTLf Best-Effort Synthesis. - Giuseppe De Giacomo; Gianmarco Parretti; Shufang Zhu 001 (CoRR, 2023)

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. - Giuseppe De Giacomo; Gianmarco Parretti; Shufang Zhu 001 (CoRR, 2023)

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments. - Benjamin Aminof; Giuseppe De Giacomo; Gianmarco Parretti; Sasha Rubin (IJCAI, 2024)

Computational Grounding of Responsibility Attribution and Anticipation in LTLf. - Giuseppe De Giacomo; Emiliano Lorini; Timothy Parker; Gianmarco Parretti (CoRR, 2024)

Managing an Agent's Changing Intentions Using ltlf Synthesis. - Giuseppe De Giacomo; Yves Lespérance; Gianmarco Parretti; Fabio Patrizi; Renzo Schram (AAMAS, 2025)

Symbolic ltl$$_f$$ Synthesis: A Unified Approach for Synthesizing Winning, Dominant, and Best-Effort Strategies. - Giuseppe De Giacomo; Gianmarco Parretti; Shufang Zhu 001 (SN Comput. Sci., 2025)

LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains. - Giuseppe De Giacomo; Gianmarco Parretti; Shufang Zhu 001 (CoRR, 2025)