Source code of my article and presentation about techniques for solving AI planning problems with Linear Temporal Logic, written for the exam of Automatic System Verification at the University of Udine