Author:
Finkbeiner Bernd,Geier Gideon,Passing Noemi
Publisher
Springer International Publishing
Reference27 articles.
1. Biere, A., Heljanko, K., Wieringa, S.: AIGER 1.9 and beyond. Technical report 11/2, Institute for Formal Models and Verification, Johannes Kepler University, Altenbergerstr. 69, 4040 Linz, Austria (2011)
2. Lecture Notes in Computer Science;R Bloem,2015
3. Lecture Notes in Computer Science;K Chatterjee,2007
4. Clarke, E.M., Long, D.E., McMillan, K.L.: Compositional model checking. In: Proceedings of the Fourth Annual Symposium on Logic in Computer Science. LICS 1989, pp. 353–362. IEEE Computer Society (1989). https://doi.org/10.1109/LICS.1989.39190
5. Lecture Notes in Computer Science;W Damm,2011
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Reactive Synthesis Competition (SYNTCOMP): 2018–2021;International Journal on Software Tools for Technology Transfer;2024-06-11
2. On Dependent Variables in Reactive Synthesis;Lecture Notes in Computer Science;2024
3. Explainable Program Synthesis by Localizing Specifications;Proceedings of the ACM on Programming Languages;2023-10-16
4. Dissecting ltlsynt;Formal Methods in System Design;2023-07-14
5. Compositional Safety LTL Synthesis;Lecture Notes in Computer Science;2023