Login / Signup
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach.
Sean Callanan
Radu Grosu
Abhishek Rai
Scott A. Smolka
Mike R. True
Erez Zadok
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
monte carlo
high confidence
monte carlo simulation
markov chain
importance sampling
monte carlo methods
particle filter
simulation study
adaptive sampling
data sets
monte carlo method
monte carlo tree search
feature extraction
association rules
optimal strategy