| 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 | 8 | 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 | 3 | 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 | 1 | 2024 |
| Robust Almost-Sure Reachability in Multi-Environment MDPs: Supplemental Material M Vegt, N Jansen, S Junges Zenodo, 2023 | | 2023 |
