Gianmarco Parretti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance, Matteo Mancanelli, Gianmarco Parretti |
| 2026 | KR | Synthesis Foundations for Online LTLf Goal Management. | Giuseppe De Giacomo, Yves Lesprance, Gianmarco Parretti, Fabio Patrizi |
| 2025 | ECAI | Do Your Best, but Don't Take Too Many Chances: LTL | Giuseppe De Giacomo, Gianmarco Parretti, Elisa Santini |
| 2025 | ICAPS | LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains. | Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu |
| 2025 | IJCAI | Responsibility Anticipation and Attribution in LTLf. | Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti |
| 2025 | KR | Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. | Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman |
| 2025 | TIME | PDDL to DFA: A Symbolic Transformation for Effective Reasoning. | Giuseppe De Giacomo, Antonio Di Stasio, Gianmarco Parretti |
| 2024 | IJCAI | Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments. | Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin |
| 2023 | ECAI | LTL | Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu |
| 2023 | EUMAS | Symbolic sc ltl | Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu |
| 2023 | EUMAS | ltl | Gianmarco Parretti |