Distributional reachability for Markov decision processes: theory and applications

DOI10.1109/TAC.2023.3341282MaRDI QIDQ6589016zbMATH OpenFDO

Authors Yulong Gao, Alessandro Abate, Lihua Xie, Karl Henrik Johansson

Publication date 19 August 2024

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2023.3341282

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Attainable sets, reachability (93B03)

Cited in

(1)

• Omega-regular verification and control for distributional specifications in MDPs

This page was built for publication: Distributional reachability for Markov decision processes: theory and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6589016)