blob: c9a94f71851484a6fae15a60205c73a4cabfcc64 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
\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}
|
