Author:
Choi Wonhyuk,Vazirani Michel,Santolucito Mark
Publisher
Springer International Publishing
Reference36 articles.
1. Baumeister, T., Finkbeiner, B., Torfah, H.: Explainable reactive synthesis. In: Automated Technology for Verification and Analysis (2020)
2. Behrmann, G., et al.: Uppaal 4.0 (2006)
3. Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Saar, Y.: Synthesis of reactive (1) designs. J. Comput. Syst. Sci. 78, 911–938 (2012)
4. Church, A.: Application of recursive arithmetic to the problem of circuit synthesis. J. Symbol. Logic 28, 289–290 (1963)
5. Coblenz, M., et al.: User-centered programming language design: a course-based case study (2020)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献