report.bib

@misc{vanditmarsch2019strengthening,
  title={Strengthening Gossip Protocols using Protocol-Dependent Knowledge}, 
  author={Van Ditmarsch, Hans and Gattinger, Malvin and Kuijer, Louwe B. and Pardo, Pere},
  year={2019},
  eprint={1907.12321},
  archivePrefix={arXiv},
  primaryClass={cs.LO}
}

@article{gattinger2023gomoche,
  title={{GoMoChe}-Gossip Model Checking},
  author={Gattinger, Malvin},
  journal={Branch async from},
  volume={1},
  year={2023}
}

@unpublished{HaitianHanabi,
  author={Yuki, Haitian},
  title={{SMCDEL-Hanabi}},
  year={2023},
  note={unpublished code / private git repository},
  url={https://github.com/haitian-yuki/SMCDEL-Hanabi.git} 
}

@phdthesis{GattingerThesis2018,
  author={Gattinger, Malvin},
  title={New Directions in Model Checking Dynamic Epistemic Logic},
  school={University of Amsterdam},
  year={2018},
  url={https://malv.in/phdthesis},
  isbn={978-94-028-1025-7}
}

@article{van_ditmarsch_logic_2020,
  title={The logic of gossiping},
  volume={286},
  issn={00043702},
  url={https://linkinghub.elsevier.com/retrieve/pii/S0004370218307331},
  doi={10.1016/j.artint.2020.103306},
  language={en},
  urldate={2023-09-18},
  journal={Artificial Intelligence},
  author={Van Ditmarsch, Hans and Van Der Hoek, Wiebe and Kuijer, Louwe B.},
  month=sep,
  year={2020},
  pages={103306},
  file={Van Ditmarsch et al. - 2020 - The logic of gossiping.pdf:/home/ptm/Zotero/storage/7A8LVE9L/Van Ditmarsch et al. - 2020 - The logic of gossiping.pdf:application/pdf}
}

@mastersthesis{danielMasterThesis,
  author={Reifsteck, Daniel },
  title={Comparing State Representations for {DEL} Planning (not public)},
  school={University of Freiburg},
  year={2023},
  month={April}
}