Gianmarco Parretti

16 papers A* 3A 3C 3Journal 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Incremental LTLf Synthesis.
CoRR
Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti, Fabio Patrizi, Moshe Y. Vardi
2025 A conf
Do Your Best, but Don't Take Too Many Chances: LTL
ECAI
Giuseppe De Giacomo, Gianmarco Parretti, Elisa Santini
2025 A* conf
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis.
KR
Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
2025 J jnl
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis.
CoRR
Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
2025 J jnl
LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains.
CoRR
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2025 A conf
Managing an Agent's Changing Intentions Using ltl
AAMAS
Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti, Fabio Patrizi, Renzo Schram
2025 C conf
PDDL to DFA: A Symbolic Transformation for Effective Reasoning.
TIME
Giuseppe De Giacomo, Antonio Di Stasio, Gianmarco Parretti
2025 A* conf
Responsibility Anticipation and Attribution in LTLf.
IJCAI
Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti
2025 J jnl
Symbolic ltl
SN Comput. Sci.
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2024 J jnl
Computational Grounding of Responsibility Attribution and Anticipation in LTLf.
CoRR
Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti
2024 A* conf
Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments.
IJCAI
Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin
2023 A conf
LTL
ECAI
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2023 J jnl
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains.
CoRR
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2023 J jnl
Symbolic LTLf Best-Effort Synthesis.
CoRR
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2023 C conf
Symbolic sc ltl
EUMAS
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2023 C conf
ltl
EUMAS
Gianmarco Parretti