若槻祐彰

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

氏名	若槻祐彰
ふりがな	若槻祐彰
所属	早稲田大学大学院基幹理工学研究科情報理工・情報通信専攻

発表リスト

06月06日(Mon) 13:20〜15:00 F会場(36名-国際会議場 31会議室)

題目 1F3-4 多数の離散変化をともなうハイブリッドシステムに対するループ検出を用いた解析

著者別納健市松本翔太若槻祐彰上田和紀

論文 PDFファイル

題目	1F3-4 多数の離散変化をともなうハイブリッドシステムに対するループ検出を用いた解析
著者	別納健市松本翔太若槻祐彰上田和紀
論文	PDFファイル

06月06日(Mon) 13:20〜15:00 F会場(36名-国際会議場 31会議室)

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

著者若槻祐彰松本翔太上田和紀

論文 PDFファイル

題目	1F3-1 ハイブリッド制約処理系HyLaGIにおけるLTLモデル検査
著者	若槻祐彰松本翔太上田和紀
論文	PDFファイル