Author:
Li Jialong,Tei Kenji,Honiden Shinichi
Publisher
Springer International Publishing
Reference8 articles.
1. Aizawa, K., Tei, K., Honiden, S.: Identifying safety properties guaranteed in changed environment at runtime. In: 2018 IEEE International Conference on Agents, pp. 75–80, July 2018
2. Borda, A., Pasquale, L., Koutavas, V., Nuseibeh, B.: Compositional verification of self-adaptive cyber-physical systems. In: 2018 IEEE/ACM 13th International Symposium on Software Engineering for Adaptive and Self-managing Systems, pp. 1–11, May 2018
3. Ciolek, D., D’Ippolito, N., Pozanco, A., Sardiña, S.: Multi-tier automated planning for adaptive behavior. In: Proceedings of the International Conference on Automated Planning and Scheduling, vol. 30, no. 1, pp. 66–74, June 2020
4. D’Ippolito, N.R., Braberman, V., Piterman, N., Uchitel, S.: Synthesis of live behaviour models. In: Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2010, pp. 77–86. Association for Computing Machinery, New York (2010)
5. The Morgan Kaufmann Series in Artificial Intelligence;M Ghallab,2004
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献