Kusumoto Laboratory
  • リスト
  •  表 
  • LaTeX
  • BibTeX
List of works

研究会・全国大会等
[1] 田中俊彰, 長岡武志, 岡野浩三, 楠本真二, "実時間システムを対象としたCEGARによる抽象洗練の並列化手法," 電子情報通信学会信学技報, volume 110, number 169, pages 35-40, 2010年. [SIGSS201008tstanaka-final.pdf]
[2] 田中俊彰, 長岡武志, 岡野浩三, 楠本真二, "時間システムを対象とした到達可能性解析の高速化手法の提案," 情報処理学会研究報告, volume 170, number 15, 2010年. [SIGSE201011Ver08.pdf]
[3] 長岡武志, 岡野浩三, 楠本真二, "UPPAAL拡張時間オートマトンの反例に基づく抽象化改良ループによるモデル抽象化手法," 電子情報通信学会技術報告, volume 107, number 176, pages 77-82, 2007年8月. [0]
学位論文
[1] 田中俊彰, "複数反例抽出を用いた時間オートマトンの到達可能性解析手法," 修士学位論文, 大阪大学, 2011年. [document_ver5.0.pdf]

Search

Tags

この検索内の頻出タグ: uppaal:4 cegar:3 abstraction:2 timed:1 refinement:1 loop:1 extended:1 counterexample-guided:1 automata:1

4 件の該当がありました. : このページのURL : HTML

Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.039037 seconds.