文献
J-GLOBAL ID:202002219341660483
整理番号:20A2526214
障壁証明書による安全なニューラルネットワークコントローラの学習【JST・京大機械翻訳】
Learning Safe Neural Network Controllers with Barrier Certificates
著者 (6件):
Zhao Hengjun
(School of Computer and Information Science, Southwest University, Chongqing, China)
,
Zeng Xia
(School of Computer and Information Science, Southwest University, Chongqing, China)
,
Chen Taolue
(Department of Computer Science, University of Surrey, Guildford, UK)
,
Liu Zhiming
(School of Computer and Information Science, Southwest University, Chongqing, China)
,
Woodcock Jim
(School of Computer and Information Science, Southwest University, Chongqing, China)
,
Woodcock Jim
(Department of Computer Science, University of York, York, UK)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
12153
ページ:
177-185
発行年:
2020年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)