In this paper, we study LTLf synthesis under environment specifications for arbitrary reachability and safety properties. We consider both kinds of properties for both agent tasks and environment specifications, providing a complete landscape of synthesis algorithms. For each case, we devise a specific algorithm (optimal wrt complexity of the problem) and prove its correctness. The algorithms combine common building blocks in different ways. While some cases are already studied in literature others are studied here for the first time.
Dettaglio pubblicazione
2023, Multi-Agent Systems. 20th European Conference, EUMAS 2023, Naples, Italy, September 14–15, 2023. Proceedings, Pages 263-279 (volume: 14282)
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties (04b Atto di convegno in volume)
Aminof B., De Giacomo G., Di Stasio A., Francon H., Rubin S., Zhu S.
ISBN: 978-3-031-43263-7; 978-3-031-43264-4
keywords