Hierarchical Optimization for Hybrid System Falsification Hierarchical Optimization for Hybrid System Falsification(ハイブリッドシステム反例生成のための階層的最適化フレームワーク)
この論文にアクセスする
著者
書誌事項
- タイトル
-
Hierarchical Optimization for Hybrid System Falsification
- タイトル別名
-
Hierarchical Optimization for Hybrid System Falsification(ハイブリッドシステム反例生成のための階層的最適化フレームワーク)
- 著者名
-
Zhenya, Zhang
- 著者名
-
ゼンヤ, ジャン
- 著者名
-
Zhang, Zhenya
- 学位授与大学
-
総合研究大学院大学
- 取得学位
-
博士(情報学)
- 学位授与番号
-
甲第2197号
- 学位授与年月日
-
2020-09-28
注記・抄録
identifier:総研大甲第2197号
application/pdf
総研大甲第2197号
目次
- 2023-09-08 再収集 (3コマ目)
- 2023-09-08 再収集 (4コマ目)