Browsing Ústav inteligentních systémů by Title
Now showing items 5-5 of 5
-
Shepherding Hordes of Markov Chains
(Springer International Publishing, 2019-04-17)This paper considers large families of Markov chains (MCs) that are defined over a set of parameters with finite discrete domains. Such families occur in software product lines, planning under partial observability, and ...