research
∙
07/17/2023
Compositional Probabilistic Model Checking with String Diagrams of MDPs
We present a compositional model checking algorithm for Markov decision ...
share
research
∙
07/16/2023
Compositional Solution of Mean Payoff Games by String Diagrams
Following our recent development of a compositional model checking algor...
research
∙
12/28/2021
A Compositional Approach to Parity Games
In this paper, we introduce open parity games, which is a compositional ...
research
∙
09/08/2020