Cross-entropy optimisation of importance sampling parameters for statistical model checking
Cyrille JégourelAxel LegaySean SedwardsPublished in: CoRR (2012)
Keyphrases
- model checking
- importance sampling
- cross entropy
- maximum likelihood
- temporal logic
- monte carlo
- markov chain
- log likelihood
- parameter estimation
- kalman filter
- language modeling
- approximate inference
- particle filtering
- active learning
- particle filter
- expectation maximization
- genetic algorithm
- computer vision
- information retrieval
- markov chain monte carlo
- posterior distribution
- search algorithm
- neural network
- search space