Gianmarco Parretti

According to our database, Gianmarco Parretti authored at least 16 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Incremental LTLf Synthesis.

Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti, Fabio Patrizi, Moshe Y. Vardi

CoRR, March, 2026

2025

Syft4Fond.

Gianmarco Parretti

Dataset, October, 2025

LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains.

Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu

CoRR, April, 2025

Symbolic ltl_f Synthesis: A Unified Approach for Synthesizing Winning, Dominant, and Best-Effort Strategies.

Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu

SN Comput. Sci., 2025

PDDL to DFA: A Symbolic Transformation for Effective Reasoning.

Giuseppe De Giacomo, Antonio Di Stasio, Gianmarco Parretti

Proceedings of the 32nd International Symposium on Temporal Representation and Reasoning, 2025

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis.

Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

Responsibility Anticipation and Attribution in LTLf.

Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Managing an Agent's Changing Intentions Using ltl_<i>f</i> Synthesis.

Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti, Fabio Patrizi, Renzo Schram

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Do Your Best, but Don't Take Too Many Chances: LTL_f Synthesis of Minimal Best-Effort Strategies in FOND Domains.

Giuseppe De Giacomo, Gianmarco Parretti, Elisa Santini

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

2024

Computational Grounding of Responsibility Attribution and Anticipation in LTLf.

Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti

CoRR, 2024

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments.

Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains.

Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu

CoRR, 2023

Symbolic LTLf Best-Effort Synthesis.

Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu

CoRR, 2023

ltl_f Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications.

Gianmarco Parretti

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Symbolic sc ltl_f Best-Effort Synthesis.

Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

LTL_f Best-Effort Synthesis in Nondeterministic Planning Domains.

Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023