Kazuya Aizawa, Kenji Tei, Shinichi Honiden. Identifying safety properties guaranteed in changed environment at runtime. In IEEE International Conference on Agents, ICA 2018, Singapore, July 28-31, 2018. pages 75-80, IEEE, 2018. [doi]
@inproceedings{AizawaTH18,
title = {Identifying safety properties guaranteed in changed environment at runtime},
author = {Kazuya Aizawa and Kenji Tei and Shinichi Honiden},
year = {2018},
doi = {10.1109/AGENTS.2018.8460083},
url = {http://doi.ieeecomputersociety.org/10.1109/AGENTS.2018.8460083},
researchr = {https://researchr.org/publication/AizawaTH18},
cites = {0},
citedby = {0},
pages = {75-80},
booktitle = {IEEE International Conference on Agents, ICA 2018, Singapore, July 28-31, 2018},
publisher = {IEEE},
isbn = {978-1-5386-8180-0},
}