Publisher
Springer International Publishing
Reference35 articles.
1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. JACM (2002)
2. Abbas, H., Pant, Y.V., Mangharam, R.: Temporal logic robustness for general signal classes. In: Proceedings of the ACM HSCC conference (HSCC-2019), pp. 45–56 (2019)
3. Böhm, W., Broy, M., Klein, C., Pohl, K., Rumpe, B., Schröck, S. (eds.): Collaborative Embedded Systems. Springer, Heidelberg (2020, to appear)
4. Lecture Notes in Computer Science;P Bulychev,2013
5. Chatterjee, K., Henzinger, T., Piterman, N.: Strategy logic. Inf. Comput. 208(6), 677–693 (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献