Tohoku University · Research Institute of Electrical Communication

Research keywordsPetri nets・sheaf models・game semantics・continuous-time verification・string diagrams・logic-based testing

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• A Compositional Approach to Parity Games.Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
• Compositional Solution of Mean Payoff Games by String Diagrams.Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
• Compositional Probabilistic Model Checking with String Diagrams of MDPs.Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
• Categories and String Diagrams for Game SemanticsClovis Eberhart

• Official profile