Author:
Baier Christel,Dubslaff Clemens,Klüppelholz Sascha,Daum Marcus,Klein Joachim,Märcker Steffen,Wunderlich Sascha
Publisher
Springer Berlin Heidelberg
Reference39 articles.
1. Aggarwal, V., Chandrasekaran, R., Nair, K.: Markov ratio decision processes. Journal of Optimization Theory and Application 21(1) (1977)
2. Lecture Notes in Computer Science;S. Andova,2004
3. Lecture Notes in Computer Science;M. Andrés,2008
4. Baier, C., Daum, M., Dubslaff, C., Klein, J., Klüppelholz, S.: Energy-utility quantiles. In: NFM 2014. LNCS (to appear, 2014)
5. Baier, C., Daum, M., Engel, B., Härtig, H., Klein, J., Klüppelholz, S., Märcker, S., Tews, H., Völp, M.: Locks: Picking key methods for a scalable quantitative analysis. Journal of Computer and System Sciences (to appear, 2014)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stochastic games with lexicographic objectives;Formal Methods in System Design;2023-03-08
2. Stochastic Games with Disjunctions of Multiple Objectives;Electronic Proceedings in Theoretical Computer Science;2021-09-17
3. Multi-objective Optimization of Long-run Average and Total Rewards;Tools and Algorithms for the Construction and Analysis of Systems;2021
4. Approximating Values of Generalized-Reachability Stochastic Games;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08
5. Stochastic Games with Lexicographic Reachability-Safety Objectives;Computer Aided Verification;2020