Approximating Euclidean by Imprecise Markov Decision Processes.

Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjl Jensen

Browse the full ISoLA paper archive.