Compositional Probabilistic Model Checking with String Diagrams of MDPs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo. Compositional Probabilistic Model Checking with String Diagrams of MDPs. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Volume 13966 of Lecture Notes in Computer Science, pages 40-61, Springer, 2023. [doi]

This author has not been identified. Look up 'Kazuki Watanabe 0003' in GoogleThis author has not been identified. Look up 'Clovis Eberhart' in GoogleThis author has not been identified. Look up 'Kazuyuki Asada' in GoogleThis author has not been identified. Look up 'Ichiro Hasuo' in Google

runs on WebDSL