Weak Stochastic Comparisons for Performability Verification.
Hind Castel-TalebNihal PekerginPublished in: ASMTA (2009)
Keyphrases
- model checking
- concurrent systems
- monte carlo
- post hoc
- high security
- stochastic model
- stochastic programming
- neural network
- markov processes
- stochastic optimization
- stochastic nature
- stochastic models
- test generation
- formal verification
- stochastic processes
- face verification
- dynamic programming
- evolutionary algorithm
- search algorithm
- image sequences