Author:
Damm Werner,Finkbeiner Bernd
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proc. of POPL, pp. 179–190 (1989)
2. Kupferman, O., Vardi, M.Y.: Synthesis with incomplete informatio. In: Proc. of ICTL (1997)
3. Finkbeiner, B., Schewe, S.: Uniform distributed synthesis. In: Proc. of LICS, pp. 321–330 (2005)
4. Piterman, N., Pnueli, A., Sa’ar, Y.: Synthesis of reactive(1) designs. In: Proc. of VMCAI, pp. 364–380 (2006)
5. Finkbeiner, B., Schewe, S.: SMT-based synthesis of distributed systems. In: Proc. of AFM (2007)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Doxastic Characterisation of Autonomous Decisive Systems;Electronic Proceedings in Theoretical Computer Science;2022-09-27
2. Specification decomposition for reactive synthesis;Innovations in Systems and Software Engineering;2022-07-18
3. Compositional synthesis of modular systems;Innovations in Systems and Software Engineering;2022-04-01
4. Specification Decomposition for Reactive Synthesis;Lecture Notes in Computer Science;2021
5. Compositional Synthesis of Modular Systems;Automated Technology for Verification and Analysis;2021