Showing 2024Show all
2 papers · 1 filter
cs.LO2024
A Unifying Approach to Product Constructions for Quantitative Temporal Inference
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot +1
Probabilistic programs are a powerful and convenient approach to formalise distributions over system executions. A classical verification problem for probabilistic programs is temp…
cs.LO2024
Composing Codensity Bisimulations
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot +1
Proving compositionality of behavioral equivalence on state-based systems with respect to algebraic operations is a classical and widely studied problem. We study a categorical for…