Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems

Guoxin Su David S. Rosenblum

Published in: CoRR (2013)

Keyphrases

upper bound
artificial intelligence
lower bound
intelligent systems
belief networks
formal methods
asymptotically optimal
probabilistic model
management system
complex systems
qualitative and quantitative
finite sample