@Inproceedings{EPTCS409.6, author = {Almagor, Shaull and Salgado, Ishai}, year = {2024}, title = {Jumping Automata Must Pay}, editor = {Achilleos, Antonis and Francalanza, Adrian}, booktitle = {{\rm Proceedings Fifteenth International Symposium on} Games, Automata, Logics, and Formal Verification, {\rm Reykjavik, Iceland, 19-21 June 2024}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {409}, publisher = {Open Publishing Association}, pages = {19-34}, doi = {10.4204/EPTCS.409.6}, }