@inproceedings{LPAR2024:Scaling_CheckMate_Game_Theoretic,
  author    = {Sophie Rain and Lea Salome Brugger and Anja Petković Komel and Laura Kovács and Michael Rawson},
  title     = {Scaling CheckMate for Game-Theoretic Security},
  booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {100},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/6ZDH},
  doi       = {10.29007/llnq},
  pages     = {222-231},
  year      = {2024}}