@INPROCEEDINGS{AKM+19,
  author = {Aminof, Benjamin and Kwiatkowska,  Marta and Maubert,  Bastien and Murano,  Aniello and Rubin,  Sasha},
  title = {Probabilistic Strategy Logic},
  crossref = {proc-disc-2009},
  booktitle = {In Proc. International Joint Conference on Artificial Intelligence (IJCAI-19)},
  year = {2019}
  }