\documentclass[runningheads]{llncs}

\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{cleveref}
\usepackage{csquotes}
\usepackage{minted}
\usepackage{tikz}
\usetikzlibrary{automata,positioning}

\let\leq\leqslant
\let\le\leqslant
\let\geq\geqslant
\let\ge\geqslant

\DeclareMathOperator{\Uop}{\mathsf{U}}

\newcommand{\PRISM}{\texttt{PRISM}}

\begin{document}

\title{Model Repair in Practice}
\author{Camil Staps \and Erin van der Veen}
\authorrunning{C. Staps \and E. van der Veen}
\institute{%
	Radboud University, Nijmegen, The Netherlands\\
	\email{\{c.staps,e.vanderveen\}@student.ru.nl}}

\maketitle

\begin{abstract}
	Model repair bladibla % TODO
\end{abstract}

\input{intro}
\input{method}
\input{implementation}
\input{discussion}

\bibliography{library}
\bibliographystyle{splncs04}

\end{document}