42 followers
また、本ポスター発表はCAV'23 (Computer Aided Verification)に採択された下記の論文がベースになっているので、より詳細はこちらの論文を参照していただければと思います。 https://t.co/ekYEFMBauJ
また、本ポスター発表はCAV'23 (Computer Aided Verification)に採択された下記の論文がベースになっているので、より詳細はこちらの論文を参照していただければと思います。 https://t.co/ekYEFMBauJ
明日から始まるPPL2024のカテゴリ2 (国際既発表論文)で発表します!タイトルは「Compositional Probabilistic Model Checking with String Diagrams of MDPs」で内容はCAV (Computer Aided Verification) 2023に採択された論文に基づいています、よろしくお願いします。 https://t.co/ekYEFMBauJ