Author:
Chatterjee Krishnendu,Henzinger Thomas A.,Jobstmann Barbara,Singh Rohit
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Lecture Notes in Computer Science;L. Alfaro de,1997
2. Lecture Notes in Computer Science;R. Alur,2009
3. Baier, C., Größer, M., Leucker, M., Bollig, B., Ciesinski, F.: Controller synthesis for probabilistic systems. In: IFIP TCS, pp. 493–506 (2004)
4. Representation and Mind Series;C. Baier,2008
5. Lecture Notes in Computer Science;A. Bianco,1995
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Quantitative program sketching using decision tree-based lifted analysis;Journal of Computer Languages;2023-06
2. Quantitative Program Sketching using Lifted Static Analysis;Fundamental Approaches to Software Engineering;2022
3. Learning quantitative representation synthesis;Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages;2020-06
4. Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth;Automated Technology for Verification and Analysis;2020
5. Graph Games and Reactive Synthesis;Handbook of Model Checking;2018