A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare. A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. In Annabelle McIver, Andras Horvath, editors, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Volume 11024 of Lecture Notes in Computer Science, pages 339-355, Springer, 2018. [doi]

Authors

Mathias Ruggaard Pedersen

This author has not been identified. Look up 'Mathias Ruggaard Pedersen' in Google

Giorgio Bacci

This author has not been identified. Look up 'Giorgio Bacci' in Google

Kim Guldstrand Larsen

This author has not been identified. Look up 'Kim Guldstrand Larsen' in Google

Radu Mardare

This author has not been identified. Look up 'Radu Mardare' in Google