Kazuki Watanabe

1. A Unifying Approach to Product Constructions for Quantitative Temporal Inference
   2024/07/15 by Kazuki Watanabe, Sebastian Junges, Watanabe, Kazuki +5 · 2 citations
   Computer Science · #Bayesian Modeling and Causal Inference
2. Compositional Solution of Mean Payoff Games by String Diagrams
   2023/07/16 by Kazuki Watanabe, Watanabe, Kazuki, Clovis Eberhart +5 · 1 citation
   Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Semantic Web and Ontologies
3. Compositional Probabilistic Model Checking with String Diagrams of MDPs
   2023/07/17 by Kazuki Watanabe, Clovis Eberhart, Watanabe, Kazuki +5 · 1 citation
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques