Publisher
Springer Science and Business Media LLC
Reference13 articles.
1. M. Abadi, L. Lamport, and P. Wolper, “Realizable and unrealizable specifications of reactive systems,” in: Lecture Notes in Computer Science, Vol. 372, Springer, Berlin-Heidelberg (1989), pp. 1–17.
2. A. Pnueli and R. Rosner, “On the synthesis of a reactive module,” in: Proc. 16th ACM Symp. on Principles of Programming Languages, Austin (1989), pp. 179–190.
3. R. Alur and S. La Torre, “Deterministic generators and games for LTL fragments,” ACM Transactions on Computational Logic, Vol. 5, No 1, 1–25 (2004).
4. A. Harding, M. Ryan, and P.-J. Schobbens, “A new algorithm for strategy synthesis in LTL games,” in: Lecture Notes in Computer Science, Vol. 3440, Springer, Berlin-Heidelberg (2005), pp. 477–492.
5. N. Piterman, A. Pnueli, and Y. Sa’ar, “Synthesis of reactive(1) designs” in: Lecture Notes in Computer Science, Vol. 3855, Springer, Berlin-Heidelberg (2006), pp. 364–380.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献