TY  - RPRT
TI  - LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains
AU  - Giuseppe De Giacomo
AU  - Gianmarco Parretti
AU  - Shufang Zhu
PY  - 2025
UR  - https://arxiv.org/abs/2504.20983
ID  - 2504.20983
ER  -