I agree that this site is using cookies. You can find further informations here.
X
Marck van der Vegt
6  results:
Search for persons X
?
1

Pareto Curves for Compositionally Model Checking String Dia..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Watanabe, Kazuki ; van der Vegt, Marck ; Hasuo, Ichiro.. - p. 279-298 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Robust Almost-Sure Reachability in Multi-Environment MDPs:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
van der Vegt, Marck ; Jansen, Nils ; Junges, Sebastian - p. 508-526 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Robust Almost-Sure Reachability in Multi-Environment MDPs: ..:

Marck van der Vegt ; Nils Jansen ; Sebastian Junges
doi:10.5281/zenodo.7503778.  , 2023
Link: https://zenodo.org/recor..
 
?
4

Robust Almost-Sure Reachability in Multi-Environment MDPs: ..:

Marck van der Vegt ; Nils Jansen ; Sebastian Junges
doi:10.5281/zenodo.7503778.  , 2023
Link: https://zenodo.org/recor..
 
?
5

Pareto Curves for Compositionally Model Checking String Dia..:

Watanabe, Kazuki ; van der Vegt, Marck ; Hasuo, Ichiro..
http://arxiv.org/abs/2401.08377.  , 2024
Link: http://arxiv.org/abs/240..
 
?
6

Robust Almost-Sure Reachability in Multi-Environment MDPs:

van der Vegt, Marck ; Jansen, Nils ; Junges, Sebastian
http://arxiv.org/abs/2301.11296.  , 2023
Link: http://arxiv.org/abs/230..
 
1-6