Publisher
Springer Nature Switzerland
Reference53 articles.
1. The reactive synthesis competition. https://www.syntcomp.org/
2. Alur, R., Torre, S.L.: Deterministic generators and games for LTL fragments. In: Proceedings of the LICS’01, pp. 291–300. ACM (2001)
3. Balachander, M., Filiot, E., Raskin, J.F.: LTL reactive synthesis with a few hints. In: Sankaranarayanan, S., Sharygina, N. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2023. LNCS, vol. 13994, pp. 309–328. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-30820-8_20
4. Bansal, S., Li, Y., Tabajara, L.M., Vardi, M.Y.: Hybrid compositional reasoning for reactive synthesis from finite-horizon specifications. In: AAAI’20 (2020)
5. Bharadwaj, R., Heitmeyer, C.: Applying the SCR requirements method to a simple autopilot. In: NASA Conference Publication, pp. 87–102. NASA (1997)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14