STMC: Statistical Model Checker with Stratified and Antithetic Sampling.
Nima RoohiYu WangMatthew WestGeir E. DullerudMahesh ViswanathanPublished in: CAV (2) (2020)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- formal specification
- description language
- set theory
- symbolic model checking
- test suite
- artificial intelligence
- machine learning
- general purpose
- dynamic programming
- expert systems
- ai planning
- reinforcement learning
- image processing
- data mining