Benjamin Aminof
Assegnista di ricerca
E-mail:
| Titolo | Pubblicato in | Anno |
|---|---|---|
| Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments | IJCAI | 2024 |
| Reactive Synthesis of Dominant Strategies | Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 | 2023 |
| Stochastic Best-Effort Strategies for Borel Goals | 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2023 | 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 |
| Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments | IJCAI | 2022 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma