Joseph Stanton. Study of Mutual Exclusion Invariants in Planning Processes. Rel. Fabio Fagnani, Sara Bernardini. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Matematica, 2019