Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain.
Yang GaoMartin FränzlePublished in: SNR@CAV (2015)
Keyphrases
- stochastic systems
- continuous domains
- stochastic models
- satisfiability modulo theories
- sample path
- evolutionary computation
- confidence intervals
- genetic algorithm
- evolution strategy
- higher dimensional
- stochastic model
- reinforcement learning
- asymptotic analysis
- model checking
- conditional independence
- genetic programming
- graphical models
- chaotic systems
- evolutionary algorithm
- expert systems
- machine learning