Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking.
Cyrille JégourelAxel LegaySean SedwardsPublished in: CAV (2012)
Keyphrases
- model checking
- cross entropy
- importance sampling
- maximum likelihood
- temporal logic
- monte carlo
- log likelihood
- markov chain
- parameter estimation
- particle filter
- kalman filter
- expectation maximization
- neural network
- information theoretic
- markov chain monte carlo
- approximate inference
- particle filtering
- statistical methods
- em algorithm
- fuzzy sets