Kazuki Watanabe

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 10

Top Topics

Computation Tree Logic

Temporal Properties

Top Venues

Publications

Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
Composing Codensity Bisimulations. CoRR (2024)
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
Composing Codensity Bisimulations. LICS (2024)
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo
A Unifying Approach to Product Constructions for Quantitative Temporal Inference. CoRR (2024)
Kazuki Watanabe
Pareto Fronts for Compositionally Solving String Diagrams of Parity Games. CoRR (2024)
Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo
Compositional Value Iteration with Pareto Caching. CoRR (2024)
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. TACAS (2) (2024)
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. CoRR (2024)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
Compositional Probabilistic Model Checking with String Diagrams of MDPs. CoRR (2023)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
Compositional Solution of Mean Payoff Games by String Diagrams. CoRR (2023)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
Compositional Probabilistic Model Checking with String Diagrams of MDPs. CAV (3) (2023)