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]
Abstract is missing.