Titolo | Pubblicato in | Anno |
---|---|---|
Mimicking Behaviors in Separated Domains | THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | 2023 |
Symbolic LTLf Best-Effort Synthesis | Symbolic LTLf Best-Effort Synthesis | 2023 |
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains | European Conference on Artificial Intelligence (ECAI) | 2023 |
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties | Multi-Agent Systems. 20th European Conference, EUMAS 2023, Naples, Italy, September 14–15, 2023. Proceedings | 2023 |
Compositional Safety LTL Synthesis | Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 | 2022 |
Synthesis of Maximally Permissive Strategies for LTLf Specifications | Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. Main Track | 2022 |
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work | IJCAI | 2022 |
Act for Your Duties but Maintain Your Rights | Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. Main Track | 2022 |
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis | IJCAI | 2021 |
Synthesis with Mandatory Stop Actions | KR 2021 | 2021 |
On-the-fly Synthesis for LTL over Finite Traces | AAAI2021 | 2021 |
On the Power of Automata Minimization in Temporal Synthesis | GandALF 2021 | 2021 |
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions | Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning | 2020 |
LTLf Synthesis with Fairness and Stability Assumptions | The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) | 2020 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma