駒形 龍太 | 金沢大学自然科学研究科
スポンサーリンク
概要
関連著者
-
山根 智
金沢大学自然科学研究科
-
山根 智
金沢大学自然科学研究科電子情報工学専攻
-
山根 智
金沢大学工学部情報システム工学科
-
駒形 龍太
金沢大学自然科学研究科
-
森下 篤
金沢大学自然科学研究科
-
山根 智
金沢大学理工研究域電子情報学系
-
山根 智
金沢大学大学院自然科学研究科電子情報工学専攻
-
山根 智
金沢大学大学院自然科学研究科
-
駒形 龍太
金沢大学大学院自然科学研究科電子情報工学専攻
著作論文
- 確率時間CEGAR(研究会優秀論文賞,ペトリネット,離散事象システム,一般)
- 述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 確率時間CEGAR (理論計算機科学の深化と応用)
- 述語抽象化洗練を用いたリアルタイムプログラムの自動検証手法(計算機科学の理論とその応用)