On January 11, 2022, Alexander Fedotov will defend his thesis titled ‘Verification techniques for xMAS’, which is available here. The defence will be streamed online via MS Teams. The link to the stream is available on request from a.fedotov@tue.nl.