Author:
Chatterjee Krishnendu,Velner Yaron
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference44 articles.
1. On omega-languages defined by mean-payoff conditions;Alur,2009
2. Modular strategies for recursive game graphs;Alur;Theor. Comput. Sci.,2006
3. On the membership problem for functional and multivalued dependencies in relational databases;Beeri;ACM Trans. Database Syst.,1980
4. Better quality in synthesis through quantitative objectives;Bloem,2009
5. Synthesis from LTL specifications with mean-payoff objectives;Bohy,2013
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献