Author:
Randour Mickael,Raskin Jean-François,Sankur Ocan
Funder
European Research Council
Fonds De La Recherche Scientifique - FNRS
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference38 articles.
1. Baier C, Daum M, Dubslaff C, Klein J, Klüppelholz S (2014) Energy-utility quantiles. In: NASA formal methods, LNCS 8430, Springer, pp 285–299
2. Bertsekas DP, Tsitsiklis JN (1991) An analysis of stochastic shortest path problems. Math Oper Res 16:580–595
3. Boker U, Henzinger TA (2014) Exact and approximate determinization of discounted-sum automata. Log Methods Comput Sci 10(1)
4. Boker U, Henzinger TA, Otop J (2015) The target discounted-sum problem. In: IEEE Proceedings of LICS, pp 750–761
5. Brázdil T, Chen T, Forejt V, Novotný P, Simaitis A (2013) Solvency Markov decision processes with interest. In: Proceedings of FSTTCS, volume 24 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp 487–499
Cited by
13 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. Multi-cost Bounded Tradeoff Analysis in MDP;Journal of Automated Reasoning;2020-07-28
5. Approximating Values of Generalized-Reachability Stochastic Games;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08