Finite Approximation of LMPs for Exact Verification of Reachability Properties

DOI10.1007/978-3-030-30281-8_5MaRDI QIDQ6488995zbMATH OpenFDO

Authors Josée Desharnais, François Laviolette

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-30281-8_5

Mathematics Subject Classification ID

Applications of continuous-time Markov processes on discrete state spaces (60J28) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Markov and semi-Markov decision processes (90C40)

Recommendations

• Approximating labelled Markov processes
• Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
• Labelled Markov processes: stronger and faster approximations
• Approximating labelled Markov processes again!
• scientific article; zbMATH DE number 1884411

This page was built for publication: Finite Approximation of LMPs for Exact Verification of Reachability Properties

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