SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions.
Hussein SibaiYangge LiSayan MitraPublished in: CAV (1) (2021)
Keyphrases
- model checking
- high level
- symmetry detection
- combining multiple
- real world
- bilateral symmetry
- formal verification
- information systems
- machine learning
- learning algorithm
- databases
- bayesian networks
- ensemble methods
- cryptographic protocols
- formal analysis
- face verification
- gradient boosting
- asynchronous circuits
- symmetry breaking
- genetic algorithm
- signature verification
- weak learners
- feature selection
- weak classifiers
- temporal logic
- computer vision
- reinforcement learning
- case study