Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments

Aminof et al. "Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments." International Joint Conference on Artificial Intelligence, 2024.

[Aminof et al. "Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/aminof2024ijcai-effective/)

@inproceedings{aminof2024ijcai-effective,
  title     = {{Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments}},
  author    = {Aminof, Benjamin and De Giacomo, Giuseppe and Parretti, Gianmarco and Rubin, Sasha},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {3232-3240},
  url       = {https://mlanthology.org/ijcai/2024/aminof2024ijcai-effective/}
}