Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]