@inproceedings{10.5555/3635637.3663122, title = "Verifying Proportionality in Temporal Voting", author = "Elkind, Edith and Obraztsova, Svetlana and Teh, Nicholas", year = "2024", address = "Richland, SC", booktitle = "Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems", isbn = "9798400704864", keywords = "computational social choice, proportionality, temporal voting", location = ", Auckland, New Zealand, ", pages = "2246–2248", publisher = "International Foundation for Autonomous Agents and Multiagent Systems", series = "AAMAS '24", }