MDPs as distribution transformers: affine invariant synthesis for safety objectives

DOI10.1007/978-3-031-37709-9_5zbMATH Open1547.68401MaRDI QIDQ6535681

S. Akshay, Krishnendu Chatterjee, Đorđe Žikelić, Tobias Meggendorfer

Publication date: 1 February 2024

zbMATH Keywords

Markov decision processesinvariant synthesisdistribution transformersSkolem hardness

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Skolem and positivity completeness of ergodic Markov chains

This page was built for publication: MDPs as distribution transformers: affine invariant synthesis for safety objectives

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