関澤 俊弦 | 大阪学院大学

スポンサーリンク

概要

• 同名の論文著者
• 大阪学院大学の論文著者

関連著者

• 関澤 俊弦

  大阪学院大学

• 高橋 和子

  関西学院大学理工学部

• 豊島 崇士

  関西学院大学

• 土屋 達弘

  大阪大学大学院情報科学研究科

• 高橋 和子

  関西学院大学

• 関澤 俊弦

  大阪学院大学:産業技術総合研究所システム検証研究センター

著作論文

• Symmetry Reductionを使ったAISの確率付きモデル検査
• Symmetry Reduction を使ったAISの確率付きモデル検査
• 制御システム分野におけるモデル検査の応用

スポンサーリンク