-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathindex.html
110 lines (103 loc) · 3.8 KB
/
index.html
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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
<!DOCTYPE html>
<html>
<head>
<title>Marck van der Vegt</title>
<link rel="stylesheet" href="style.css">
</head>
<body>
<div class="container">
<hr>
<div class="header">
<div class="portrait">
<img src="mod.jpg">
</div>
<h3>NAME</h3><br>
<div class="indent">
<p>Marck van der Vegt - marck.vandervegt 📧 ru.nl</p>
</div><br>
<h3>SYNOPSIS</h3><br>
<div class="indent">
<p>PhD student Software Science at <a href="https://www.ru.nl">Radboud University</a> in the Netherlands.</p>
</div><br>
<h3>DESCRIPTION</h3><br>
<div class="indent">
<p>
I am interested in the probabilistic verification of compositional and partially observable models.
</p>
</div><br>
</div>
<h3>PUBLICATIONS</h3>
<div class="indent">
<table>
<tr>
<th>Year</th>
<th>Title</th>
<th>Authors</th>
<th>Conference</th>
</tr>
<tr>
<td rowspan="3">2024</td>
<td>A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs¹</td>
<td style="white-space: nowrap">
Marnix Suilen<br>
<b>Marck van der Vegt</b><br>
Sebastian Junges
</td>
<td>CONCUR</td>
</tr>
<tr>
<td>Compositional Value Iteration with Pareto Caching</td>
<td>
Kazuki Watanabe<br>
<b>Marck van der Vegt</b><br>
Ichiro Hasuo<br>
Sebastian Junges
</td>
<td>CAV</td>
</tr>
<tr>
<td>Pareto Curves for Compositionally Model Checking String Diagrams of MDPs</td>
<td>
Kazuki Watanabe<br>
<b>Marck van der Vegt</b><br>
Ichiro Hasuo<br>
Jurriaan Rot<br>
Sebastian Junges
</td>
<td>TACAS</td>
</tr>
<tr>
<td>2023</td>
<td>Robust Almost-Sure Reachability in Multi-Environment MDPs</td>
<td>
<b>Marck van der Vegt</b><br>
Nils Jansen<br>
Sebastian Junges
</td>
<td>TACAS</td>
</tr>
</table>
</div><br>
<div style="text-align: right">
¹) Best paper award
</div>
<h3>TEACHING</h3>
<div class="indent">
<p>
I currently help teaching the course "Object Oriented Programming".
</p>
</div><br>
<h3>OTHER ACTIVITIES</h3>
<div class="indent">
<p>
<dl>
<dt>Artifact Evalution</dt>
<dd>- CAV2024</dd>
<dd>- QEST2023</dd>
</dl>
</p>
</div><br>
<hr>
</div>
</body>
</html>