Publisher
Springer International Publishing
Reference28 articles.
1. Barrett, C., Fontaine, P., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2016).
www.SMT-LIB.org
2. Beyene, T., Chaudhuri, S., Popeea, C., Rybalchenko, A.: A constraint-based approach to solving games on infinite graphs. In: POPL, pp. 221–233. ACM (2014)
3. Lecture Notes in Computer Science;MHL Bodlaender,2012
4. Lecture Notes in Computer Science;AR Bradley,2011
5. Cimatti, A., Griggio, A., Mover, S., Tonetta, S.: Parameter synthesis with IC3. In: FMCAD, pp. 165–168. IEEE (2013)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Solving Infinite-State Games via Acceleration;Proceedings of the ACM on Programming Languages;2024-01-05
2. Localized Attractor Computations for Infinite-State Games;Lecture Notes in Computer Science;2024
3. Symbolic Fixpoint Algorithms for Logical LTL Games;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. Synthesizing verified components for cyber assured systems engineering;Software and Systems Modeling;2023-03-21
5. Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft;Requirements Engineering: Foundation for Software Quality;2023