Marck van der Vegt

According to our database, Marck van der Vegt authored at least 13 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Compositional Verification of Almost-Sure Büchi Objectives in MDPs.

Marck van der Vegt, Kazuki Watanabe, Ichiro Hasuo, Sebastian Junges

CoRR, August, 2025

2024

Compositional Value Iteration with Pareto Caching: Supplemental Material.

Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo

Dataset, April, 2024

Compositional Value Iteration with Pareto Caching: Supplemental Material.

Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo

Dataset, April, 2024

Compositional Value Iteration with Pareto Caching: Supplemental Material.

Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo

Dataset, April, 2024

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges

Dataset, January, 2024

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges

Dataset, January, 2024

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs.

Marnix Suilen, Marck van der Vegt, Sebastian Junges

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Compositional Value Iteration with Pareto Caching.

Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges

Dataset, December, 2023

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

Marck van der Vegt, Nils Jansen, Sebastian Junges

Dataset, January, 2023

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

Marck van der Vegt, Nils Jansen, Sebastian Junges

Dataset, January, 2023

Robust Almost-Sure Reachability in Multi-Environment MDPs.

Marck van der Vegt, Nils Jansen, Sebastian Junges

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023