Publisher
Springer International Publishing
Reference29 articles.
1. Almagor, S., Boker, U., Kupferman, O.: Formalizing and reasoning about quality. J. ACM 63(3), 24:1–24:56 (2016)
2. Almagor, S., Kupferman, O.: High-quality synthesis against stochastic environments. In: Proceedings of 25th Annual Conference of the European Association for Computer Science Logic, LIPIcs, vol. 62, pp. 28:1–28:17 (2016)
3. Lecture Notes in Computer Science;S Almagor,2017
4. Lecture Notes in Computer Science;R Bloem,2009
5. Bloem, R., Chatterjee, K., Jobstmann, B.: Graph games and reactive synthesis. Handbook of Model Checking, pp. 921–962. Springer, Cham (2018).
https://doi.org/10.1007/978-3-319-10575-8_27
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct;Logical Methods in Computer Science;2024-01-11
2. Synthesizing Computable Functions from Rational Specifications Over Infinite Words;International Journal of Foundations of Computer Science;2023-11-15
3. Compositional High-Quality Synthesis;Automated Technology for Verification and Analysis;2023
4. Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022