Publication:6488995

DOI10.1007/978-3-030-30281-8_5MaRDI QIDQ6488995FDOQ6488995

François Laviolette, Josée Desharnais, Author name not available (Why is that?)

Publication date: 14 March 2024

Mathematics Subject Classification ID

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

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)