Percentile Queries in Multi-dimensional Markov Decision Processes-Reference-Cited by-同舟云学术

Percentile Queries in Multi-dimensional Markov Decision Processes

Published:2015 Issue: Volume: Page:123-139
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Randour Mickael,Raskin Jean-François,Sankur Ocan

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-21690-4_8

Reference32 articles.

1. Lecture Notes in Computer Science;C Baier,2014

2. Bertsekas, D.P., Tsitsiklis, J.N.: An analysis of stochastic shortest path problems. Math. Oper. Res. 16, 580–595 (1991)

3. Boker, U., Henzinger, T.A.: Exact and approximate determinization of discounted-sum automata. LMCS 10(1), 1–33 (2014)

4. Boker, U., Henzinger, T.A., Otop, J.: The target discounted-sum problem. In: Proceedings of LICS. IEEE Computer Society (2015)

5. Brázdil, T., Chen, T., Forejt, V., Novotný, P., Simaitis, A.: Solvency Markov decision processes with interest. In: Proceedings of FSTTCS, LIPIcs, vol. 24, pp. 487–499. Schloss Dagstuhl - LZI (2013)

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes;Lecture Notes in Computer Science;2024

2. Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning;IEEE Transactions on Control of Network Systems;2022-09

3. Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints;IEEE Transactions on Automatic Control;2022

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. Non-deterministic weighted automata evaluated over Markov chains;Journal of Computer and System Sciences;2020-03