Hierarchical Optimization for Hybrid System Falsification Hierarchical Optimization for Hybrid System Falsification(ハイブリッドシステム反例生成のための階層的最適化フレームワーク)

著者

    • Zhenya, Zhang
    • ゼンヤ, ジャン
    • Zhang, Zhenya

書誌事項

タイトル

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号

目次

  1. 2023-09-08 再収集 (3コマ目)
  2. 2023-09-08 再収集 (4コマ目)
9アクセス

各種コード

  • NII論文ID(NAID)
    500001431173
  • NII著者ID(NRID)
    • 8000001767185
    • 8000001767186
    • 8000001767187
  • 本文言語コード
    • eng
  • データ提供元
    • 機関リポジトリ
    • NDLデジタルコレクション
ページトップへ