\documentclass[a4paper]{scrartcl} \title{Model Checking} \subtitle{Assignment 1} \author{Camil Staps \and Erin van der Veen} \begin{document} \maketitle \section{Past Modalities in LTL} \end{document}