Author:
Bansal Suguman,Vardi Moshe Y.
Publisher
Springer International Publishing
Reference40 articles.
1. GLPK.
https://www.gnu.org/software/glpk/
2. Rabit-Reduce.
http://www.languageinclusion.org/
3. Abdulla, P.A., et al.: Simulation subsumption in ramsey-based büchi automata universality and inclusion testing. In: Proceedings of CAV, pp. 132–147. Springer (2010)
4. Abdulla, P.A., et al.. Advanced ramsey-based büchi automata inclusion testing. In: Proceedings of CONCUR, vol. 11, pp. 187–202. Springer (2011)
5. Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distrib. Comput. 2(3), 117–126 (1987)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Comparator automata in quantitative verification;Logical Methods in Computer Science;2022-07-29
2. On Satisficing in Quantitative Games;Tools and Algorithms for the Construction and Analysis of Systems;2021