A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks.
Ezio BartocciEbru Aydin GolIman HaghighiCalin BeltaPublished in: IEEE Trans. Control. Netw. Syst. (2018)
Keyphrases
- formal methods
- reaction diffusion
- pattern recognition
- texture synthesis
- model checking
- cellular automata
- boundary conditions
- artificial intelligence
- formal specification
- cellular automaton
- software engineering
- knowledge based systems
- computer vision
- image analysis
- image processing
- social networks
- cellular neural networks
- feature extraction
- development lifecycle