A Statistical Model Checker for Nondeterminism and Rare Events.
Carlos E. BuddePedro R. D'ArgenioArnd HartmannsSean SedwardsPublished in: TACAS (2) (2018)
Keyphrases
- rare events
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- description language
- fraud detection
- importance sampling
- planning domains
- formal specification
- set theory
- distributed data
- test suite
- class distribution
- class imbalance
- artificial intelligence
- monte carlo
- test set
- distributed systems
- specification language
- software engineering
- reinforcement learning
- feature selection