Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes

DOI10.1145/3373718.3394805OpenAlexW3030846442MaRDI QIDQ5145631

Raphaël Berthon, Shibashis Guha, Jean-François Raskin

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2004.13789

zbMATH Keywords

synthesisMarkov decision processesomega-regular properties

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Markov and semi-Markov decision processes (90C40) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Randomized algorithms (68W20)

This page was built for publication: Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes