Decision Problems for Interval Markov Chains.

Benot Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski

Browse the full LATA paper archive.