C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Kazuki Watanabe
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Automated Verification
Transition Systems
Model Checking
Temporal Properties
Top Venues
CoRR
CAV (3)
</>
Publications
</>
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)