Long-run satisfaction of path properties

DOI10.5555/3470152.3470170MaRDI QIDQ6654483zbMATH OpenFDO

Authors Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur

Publication date 19 December 2024

Full work available at URL https://doi.org/10.5555/3470152.3470170

Mathematics Subject Classification ID

Temporal logic (03B44) Theory of computing (68Qxx)

Cited in

(1)

• On Skolem-hardness and saturation points in Markov decision processes

This page was built for publication: Long-run satisfaction of path properties

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