An efficient statistical model checker for nondeterminism and rare events.
Carlos E. BuddePedro R. D'ArgenioArnd HartmannsSean SedwardsPublished in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
- rare events
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- importance sampling
- fraud detection
- planning domains
- description language
- class distribution
- formal specification
- ai planning
- class imbalance
- specification language
- web services
- distributed data
- metamodel
- heuristic search
- monte carlo
- markov chain
- set theory
- dynamic programming
- training data