Spatial logics and model checking for medical imaging.
Fabrizio Banci BuonamiciGina BelmonteVincenzo CianciaDiego LatellaMieke MassinkPublished in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
- medical imaging
- model checking
- epistemic logic
- temporal logic
- medical images
- modal logic
- coalition logic
- x ray
- medical image processing
- image registration
- model checker
- imaging modalities
- image segmentation
- image analysis
- automated verification
- image processing
- formal specification
- temporal properties
- formal verification
- computation tree logic
- bounded model checking
- image processing and analysis
- formal methods
- timed automata
- reachability analysis
- remote sensing
- verification method
- process algebra
- symbolic model checking
- image guided surgery
- pspace complete
- transition systems
- computer vision
- asynchronous circuits
- biomedical engineering
- volumetric data
- reactive systems
- neural network
- alternating time temporal logic
- concurrent systems
- planning domains
- inference rules
- satisfiability problem
- pattern recognition
- high quality
- deterministic finite automaton