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
∙
04/22/2022
Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings
A number of models of linear logic are based on or closely related to li...
research
∙
03/16/2022
On Higher-Order Reachability Games vs May Reachability
We consider the reachability problem for higher-order functional program...
research
∙
12/28/2021
A Compositional Approach to Parity Games
In this paper, we introduce open parity games, which is a compositional ...
research
∙
01/11/2018