1. http://lit2.ulb.ac.be/alpaga/usermanual.html
2. Amoussou-Guenou, Y., Baarir, S., Potop-Butucaru, M., Sznajder, N., Tible, L., Tixeuil, S.: On the encoding and solving partial information games. Research report, LIP6, Sorbonne Université, CNRS, UMR 7606; LINCS; CEA Paris Saclay; Sorbonne Université (2018)
3. LNCS;C Auger,2013
4. Lecture Notes in Computer Science;T Balabonski,2016
5. Balabonski, T., Pelle, R., Rieg, L., Tixeuil, S.: A foundational framework for certified impossibility results with mobile robots on graphs. Proc. ICDCN’18 5, 1–10 (2018). https://doi.org/10.1145/3154273.3154321