Antonio Di Stasio: Reasoning about LTL Synthesis over finite and infinite games. University of Naples Federico II, Italy 2018