Finite Approximation of LMPs for Exact Verification of Reachability Properties.

Gildas Kouko Josée Desharnais François Laviolette

Published in: QEST (2019)

Keyphrases

exact computation
desirable properties
discrete random variables
information systems
state space
approximation error
data mining
website
similarity measure
dynamic programming
approximation algorithms
structural properties
finite number
exact solution
formal verification
fingerprint verification