Now showing items 5-5 of 5

  • Shepherding Hordes of Markov Chains 

    Češka, Milan (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 ...