Bibliography

Y. Schnitzer, A. Abate and D. Parker. Efficient Solution and Learning of Robust Factored MDPs, arXiv preprint arXiv:2508.00707 (2025), arXiv:2508.00707.

K. V. Delgado, S. Sanner and L. N. De Barros. Efficient solutions to factored MDPs with imprecise transition probabilities. Artificial Intelligence 175, 1498–1527 (2011).

A. Nilim and L. El Ghaoui. Robust control of Markov decision processes with uncertain transition matrices. Operations Research 53, 780–798 (2005).

W. Wiesemann, D. Kuhn and B. Rustem. Robust Markov decision processes. Mathematics of Operations Research 38, 153–183 (2013).

M. Suilen, T. Badings, E. M. Bovy, D. Parker and N. Jansen. Robust markov decision processes: A place where AI and formal methods meet. In: Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (Springer, 2024); pp. 126–154, arXiv:2411.11451.

B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen and A. Wąsowski. Decision problems for interval Markov chains. In: International Conference on Language and Automata Theory and Applications (Springer, 2011); pp. 274–285.

R. Givan, S. Leach and T. Dean. Bounded-parameter Markov decision processes. Artificial Intelligence 122, 71–109 (2000).

M. Lahijanian, S. B. Andersson and C. Belta. Formal verification and synthesis for discrete-time stochastic systems. IEEE Transactions on Automatic Control 60, 2031–2045 (2015).

F. B. Mathiesen, S. Haesaert and L. Laurenti. Scalable control synthesis for stochastic systems via structural IMDP abstractions. In: Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control (2025); pp. 1–12, arXiv:2411.11803.

C. Baier and J.-P. Katoen. Principles of model checking (MIT press, 2008).

G. De Giacomo, M. Y. Vardi and others. Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. In: Ijcai, Vol. 13 (2013); pp. 854–860.