森下 篤 | 金沢大学自然科学研究科

スポンサーリンク

概要

• 森下 篤の詳細を見る
• 同名の論文著者
• 金沢大学自然科学研究科の論文著者

関連著者

• 森下 篤

  金沢大学自然科学研究科

• 山根 智

  金沢大学自然科学研究科

• 山根 智

  金沢大学理工研究域電子情報学系

• 山根 智

  金沢大学自然科学研究科電子情報工学専攻

• 山根 智

  金沢大学工学部情報システム工学科

• 駒形 龍太

  金沢大学自然科学研究科

• 山根 智

  金沢大学大学院自然科学研究科電子情報工学専攻

• 高橋 正樹

  金沢大

• 森下 篤

  金沢大

• 山根 智

  金沢大学大学院自然科学研究科

• 清水 隆也

  金沢大学自然科学研究科

• 高橋 正樹

  金沢大学自然科学研究科

• 清水 隆也

  金沢大学大学院自然科学研究科

• 高橋 正樹

  金沢大学大学院自然科学研究科

• 山根 智

  金沢大

• 山根 智

  金沢大学理工学域電子情報学系

• 森下 篤

  金沢大学大学院自然科学研究科

もっと見る 閉じる

著作論文

• 確率時間REGARによるPTCTLのサブクラスのモデル検査
• 確率時間CEGAR(研究会優秀論文賞,ペトリネット,離散事象システム,一般)
• 述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
• 確率時間REGARによるPTCTLのサブクラスのモデル検査
• 確率時間CEGAR (理論計算機科学の深化と応用)
• 確率時間CEGARの開発とその実証実験 (プログラミング Vol.5 No.2)
• 抽象化洗練を用いた時間確率システムに対する形式的検証手法 (アルゴリズムと計算理論の新展開)

スポンサーリンク