/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2016ホーム
/
若槻 祐彰
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai30th
氏名
若槻 祐彰
ふりがな
若槻 祐彰
所属
早稲田大学大学院基幹理工学研究科情報理工・情報通信専攻
発表リスト
06月06日(Mon) 13:20〜15:00 F会場(36名-国際会議場 31会議室)
題目
1F3-4 多数の離散変化をともなうハイブリッドシステムに対するループ検出を用いた解析
著者
別納 健市
松本 翔太
若槻 祐彰
上田 和紀
論文
PDFファイル
06月06日(Mon) 13:20〜15:00 F会場(36名-国際会議場 31会議室)
題目
1F3-1 ハイブリッド制約処理系HyLaGIにおけるLTLモデル検査
著者
若槻 祐彰
松本 翔太
上田 和紀
論文
PDFファイル