VoxLogicA: A Spatial Model Checker for Declarative Image Analysis.
Gina BelmonteVincenzo CianciaDiego LatellaMieke MassinkPublished in: TACAS (1) (2019)
Keyphrases
- model checker
- image analysis
- model checking
- formal verification
- temporal logic
- formal methods
- description language
- formal specification
- symbolic model checking
- image segmentation
- pattern recognition
- specification language
- knowledge representation
- artificial intelligence
- knowledge acquisition
- ai planning
- image processing
- set theory
- machine learning
- building blocks
- domain independent
- fuzzy logic
- evolutionary algorithm
- data structure
- high level
- knowledge base
- computer vision