Refinement and Separation: Modular Verification of Wandering Trees.
Gerhard SchellhornStefan BodenmüllerWolfgang ReifPublished in: iFM (2023)
Keyphrases
- decision trees
- model checking
- tree structure
- formal verification
- modular neural networks
- tree construction
- face verification
- machine learning
- information retrieval
- refinement process
- modular structure
- binary trees
- data structure
- case study
- regression trees
- tree structures
- data mining
- cryptographic protocols
- fingerprint verification
- tree models
- compact representations
- labeled trees