Author:
Jaeger Manfred,Bacci Giorgio,Bacci Giovanni,Larsen Kim Guldstrand,Jensen Peter Gjøl
Publisher
Springer International Publishing
Reference14 articles.
1. Billingsley, P.: Probability and Measure, 2nd edn. Wiley, Hoboken (1986)
2. Chen, T., Han, T., Kwiatkowska, M.: On the complexity of model checking interval-valued discrete time Markov chains. Inf. Process. Lett. 113(7), 210–216 (2013)
3. Crossman, R., Coolen-Schrijner, P., Škulj, D., Coolen, F.: Imprecise Markov chains with an absorbing state. In: Proceedings of the 6th International Symposium on Imprecise Probability: Theories and Applications (ISIPTA), pp. 119–128. Citeseer (2009)
4. Lecture Notes in Computer Science;A David,2015
5. Derisavi, S., Hermanns, H., Sanders, W.H.: Optimal state-space lumping in Markov chains. Inf. Process. Lett. 87(6), 309–315 (2003)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Robust probabilistic temporal logics;Information Processing Letters;2025-02
2. Controlling stormwater detention ponds under partial observability;Journal of Logical and Algebraic Methods in Programming;2024-10
3. Shielded Reinforcement Learning for Hybrid Systems;Bridging the Gap Between AI and Reality;2023-12-14
4. A toolchain for domestic heat-pump control using Uppaal Stratego;Science of Computer Programming;2023-08
5. Decision-making under uncertainty: beyond probabilities;International Journal on Software Tools for Technology Transfer;2023-05-30