@inproceedings{Aminof2026StrategySpaces,
  title = "Specifying Agent Strategy Spaces via LTL Synthesis",
  author = "Benjamin Aminof and Giuseppe De Giacomo and Aniello Murano and Sasha Rubin",
  year = "2026",
  booktitle = "Proceedings of KR 2026",
}