東北大学 · 電気通信研究所

研究キーワードPetri nets・sheaf models・game semantics・continuous-time verification・string diagrams・logic-based testing

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 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

• 公式プロフィール