@phdthesis{oai:ir.soken.ac.jp:00006343,
 author = {Zhenya, Zhang and ゼンヤ, ジャン and Zhenya, Zhang},
 month = {2020-11-11, 2020-12-17},
 note = {application/pdf, 総研大甲第2197号},
 school = {総合研究大学院大学},
 title = {Hierarchical Optimization for Hybrid System Falsification（ハイブリッドシステム反例生成のための階層的最適化フレームワーク）},
 year = {}
}