2024
DOI: 10.1007/978-3-031-57249-4_14
|View full text |Cite
|
Sign up to set email alerts
|

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs

Kazuki Watanabe,
Marck van der Vegt,
Ichiro Hasuo
et al.

Abstract: Computing schedulers that optimize reachability probabilities in MDPs is a standard verification task. To address scalability concerns, we focus on MDPs that are compositionally described in a high-level description formalism. In particular, this paper considers string diagrams, which specify an algebraic, sequential composition of subMDPs. Towards their compositional verification, the key challenge is to locally optimize schedulers on subMDPs without considering their context in the string diagram. This paper… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2024
2024
2024
2024

Publication Types

Select...
4

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
references
References 45 publications
0
0
0
Order By: Relevance