1F3-1 ハイブリッド制約処理系HyLaGIにおけるLTLモデル検査

*セッションの無断動画配信はご遠慮下さい。

06月06日(Mon) 13:20〜15:00 F会場(36名-国際会議場 31会議室)
1F3 基礎・理論「制約充足」

演題番号	1F3-1
題目	ハイブリッド制約処理系HyLaGIにおけるLTLモデル検査
著者	若槻祐彰(早稲田大学大学院基幹理工学研究科情報理工・情報通信専攻) 松本翔太(早稲田大学大学院基幹理工学研究科情報理工学専攻) 上田和紀(早稲田大学理工学術院,早稲田大学理工学術院情報理工学科)
時間	06月06日(Mon) 13:20〜13:40
論文	PDFファイル