\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}
