Long-run satisfaction of path properties

DOI10.5555/3470152.3470170MaRDI QIDQ6654483FDOQ6654483

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)