Shepherding hordes of Markov chains

DOI10.1007/978-3-030-17465-1_10zbMath1527.68144arXiv1902.05727OpenAlexW2914149546MaRDI QIDQ6091408

Milan Češka, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

Publication date: 24 November 2023

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1902.05727

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Parameter synthesis in Markov models: a gentle survey

This page was built for publication: Shepherding hordes of Markov chains