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

Mathematics Subject Classification ID

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

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)