Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems.
Guoxin SuDavid S. RosenblumPublished in: ICFEM (2013)
Keyphrases
- lower bound
- management system
- worst case
- generative model
- intelligent systems
- rates of convergence
- large deviations
- asymptotically optimal
- quantitative and qualitative
- model checking
- distributed systems
- upper bound
- real time
- computer systems
- complex systems
- probabilistic model
- biological systems
- artificial intelligence
- genetic algorithm
- data sets