@article{Elkind_Obraztsova_Peters_Teh_2025,
  title = "Verifying Proportionality in Temporal Voting",
  author = "Elkind, Edith and Obraztsova, Svetlana and Peters, Jannik and Teh, Nicholas",
  year = "2025",
  journal = "Proceedings of the AAAI Conference on Artificial Intelligence",
  month = "Apr.",
  number = "13",
  pages = "13805-13813",
  url = "https://ojs.aaai.org/index.php/AAAI/article/view/33509",
  volume = "39",
  doi = "10.1609/aaai.v39i13.33509",
}