Complete game logic with sabotage

@inproceedings{DBLP:conf/lics/AbouElWafaP24,
	author = {['Noah Abou El Wafa', 'André Platzer']},
	title = {Complete Game Logic with Sabotage},
	booktitle = {LICS},
	year = {2024},
	pages = {},
	doi = {10.1145/3661814.3662121},
	editor = {['Ugo Dal Lago', 'Javier Esparza']},
	longbooktitle = {Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in
               Computer Science},
	publisher = {ACM},
	address = {New York}
}