Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model Checking

Ernst Moritz Hahn, Arnd Hartmanns

In the design of probabilistic timed systems, bounded requirements concerning behaviour that occurs within a given time, energy, or more generally cost budget are of central import…