通信-通信方式(開催日：2009/05/27)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2009/5/27
[資料番号]
目次

,  

[発表日]2009/5/27
[資料番号]
部分観測下での最悪ケースを考慮したスーパバイザの強化学習(ペトリネット,離散事象システム,一般)

梶原 弘治,  山崎 達志,  

[発表日]2009/5/27
[資料番号]CST2009-1
空間の概念を持つコスト付き確率時間オートマトンの提案とセンサネットワークへの適用(ペトリネット,離散事象システム,一般)

鎌澤 浩司,  山根 智,  

[発表日]2009/5/27
[資料番号]CST2009-2
CPUと動的再構成可能プロセッサとの協調システムのモデル検査(ペトリネット,離散事象システム,一般)

南 翔太,  瀧内 新悟,  瀬古口 智,  山根 智,  

[発表日]2009/5/27
[資料番号]CST2009-3
SAT and SMT Based Model Checking of Concurrent Systems

,  

[発表日]2009/5/27
[資料番号]CST2009-4
確率時間CEGAR(研究会優秀論文賞,ペトリネット,離散事象システム,一般)

森下 篤,  駒形 龍太,  山根 智,  

[発表日]2009/5/27
[資料番号]CST2009-5
モジュラーペトリネットを用いたマルチエージェントネットの可達性解析について(ペトリネット,離散事象システム,一般)

堀口 恭太,  宮本 俊幸,  

[発表日]2009/5/27
[資料番号]CST2009-6
観測マスクをもつ離散事象システムにおける最大可制御オペイク部分言語の計算(ペトリネット,離散事象システム,一般)

依藤 梢,  高井 重昌,  

[発表日]2009/5/27
[資料番号]CST2009-7
離散事象システムのモジュラ状態フィードバック制御に対する調停器設計(ペトリネット,離散事象システム,一般)

乾 翼,  潮 俊光,  足立 正和,  佐野 範佳,  

[発表日]2009/5/27
[資料番号]CST2009-8
アクションを共有するワークフローネットに対する振る舞い継承と健全性を満たす合成規則(ペトリネット,離散事象システム,一般)

渡辺 悠生,  山口 真悟,  池田 良,  田中 稔,  

[発表日]2009/5/27
[資料番号]CST2009-9
色つき量子ペトリネットによる量チューリング機械のモデル化と解析(ペトリネット,離散事象システム,一般)

伊藤 慎祐,  太田 淳,  辻 孝吉,  

[発表日]2009/5/27
[資料番号]CST2009-10
CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)

山口 真悟,  宮本 俊幸,  内平 直志,  葛 崎偉,  本位田 真一,  

[発表日]2009/5/27
[資料番号]CST2009-11
複写される方へ

,  

[発表日]2009/5/27
[資料番号]
Notice for Photocopying

,  

[発表日]2009/5/27
[資料番号]
奥付

,  

[発表日]2009/5/27
[資料番号]