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

Marck van der Vegt, Kazuki Watanabe, Ichiro Hasuo +1

This paper studies the verification of almost-sure Büchi objectives in MDPs with a known, compositional structure based on string diagrams. In particular, we ask whether there is a…