| Pareto Curves for Compositionally Model Checking String Diagrams of MDPs K Watanabe, M van der Vegt, I Hasuo, J Rot, S Junges International Conference on Tools and Algorithms for the Construction and …, 2024 | 5 | 2024 |
| Robust almost-sure reachability in multi-environment mdps M van der Vegt, N Jansen, S Junges International Conference on Tools and Algorithms for the Construction and …, 2023 | 5 | 2023 |
| Compositional Value Iteration with Pareto Caching K Watanabe, M Vegt, S Junges, I Hasuo International Conference on Computer Aided Verification, 467-491, 2024 | 2 | 2024 |
| A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs M Suilen, M van der Vegt, S Junges arXiv preprint arXiv:2407.07006, 2024 | | 2024 |
| Robust Almost-Sure Reachability in Multi-Environment MDPs: Supplemental Material M Vegt, N Jansen, S Junges Zenodo, 2023 | | 2023 |
| Robust Almost-Sure Reachability in Multi-Environment MDPs M Vegt, N Jansen, S Junges Cham: Springer, 2023 | | 2023 |
