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

Access this Article

Author

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

Bibliographic Information

Title

Hierarchical Optimization for Hybrid System Falsification

Other Title

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

Author

Zhenya, Zhang

Author

ゼンヤ, ジャン

Author

Zhang, Zhenya

University

総合研究大学院大学

Types of degree

博士（情報学）

Grant ID

甲第2197号

Degree year

2020-09-28

Note and Description

identifier:総研大甲第2197号

application/pdf

総研大甲第2197号

Table of Contents

  1. 2023-09-08 再収集 (3コマ目)
  2. 2023-09-08 再収集 (4コマ目)
9access

preview

Codes

  • NII Article ID (NAID)
    500001431173
  • NII Author ID (NRID)
    • 8000001767185
    • 8000001767186
    • 8000001767187
  • Text Lang
    • eng
  • Source
    • Institutional Repository
    • NDL Digital Collections

Export

Page Top