CTL model checking of MDPs over distribution spaces: algorithms and sampling-based computations

DOI10.1145/3641513.3651397MaRDI QIDQ6993491zbMATH OpenFDO

Authors Yulong Gao, Karl Henrik Johansson, Alessandro Abate

Publication date 25 April 2025

zbMATH Keywords

Markov decision processescomputation tree logicreachability analysistransient probability distributions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

This page was built for publication: CTL model checking of MDPs over distribution spaces: algorithms and sampling-based computations

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