@misc{dagstuhl-artifact-27643,
title = {{On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics (implementation)}},
author = {Suilen, Marnix and P\'{e}rez, Guillermo A.},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:af608e324f40fa8a40d40cd75396e1796e6c8dfa;origin=https://github.com/marnixrs/bisimRMDP;visit=swh:1:snp:0894b5857938dfaee80ec1b0b00ff006cf278b39;anchor=swh:1:rev:e95595b8a856e666d0fd0fd751e7d331c872f8a3}{\texttt{swh:1:dir:af608e324f40fa8a40d40cd75396e1796e6c8dfa}} (visited on 2026-08-24)},
url = {https://github.com/marnixrs/bisimRMDP},
doi = {10.4230/artifacts.27643},
}