Complete game logic with sabotage

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