Identifying safety properties guaranteed in changed environment at runtime

論文・著書情報

タイトル

和文:	Identifying safety properties guaranteed in changed environment at runtime
英文:	Identifying safety properties guaranteed in changed environment at runtime

著者

和文:	Kazuya Aizawa, 鄭顕志, Shinichi Honiden.
英文:	Kazuya Aizawa, Kenji Tei, Shinichi Honiden.

言語

English

掲載誌/書名

和文:
英文:

巻, 号, ページ

pp. 75-80

出版年月

2018年9月1日

出版者

和文:
英文:

会議名称

和文:
英文:	the 3rd IEEE International Conference on Agents (ICA 2018)

開催地

和文:
英文:

DOI