Finite Approximation of LMPs for Exact Verification of Reachability Properties
From MaRDI portal
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
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)
