Positivity-hardness results on Markov decision processes
From International Center for Computational Logic
Positivity-hardness results on Markov decision processes
Jakob PiribauerJakob Piribauer, Christel BaierChristel Baier
Jakob Piribauer, Christel Baier
Positivity-hardness results on Markov decision processes
TheoretiCS, 3, 2024
Positivity-hardness results on Markov decision processes
TheoretiCS, 3, 2024
- Projekt:Project: CPEC
- Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@article{DBLP:journals/theoretics/PiribauerB24,
author = {Jakob Piribauer and
Christel Baier},
title = {Positivity-hardness results on Markov decision processes},
journal = {TheoretiCS},
volume = {3},
year = {2024},
url = {https://doi.org/10.46298/theoretics.24.9},
doi = {10.46298/THEORETICS.24.9},
timestamp = {Fri, 04 Jul 2025 22:15:53 +0200},
biburl = {https://dblp.org/rec/journals/theoretics/PiribauerB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}