A formal methods approach to pattern synthesis in reaction diffusion systems.

Ebru Aydin Gol Ezio Bartocci Calin Belta

Published in: CDC (2014)

Keyphrases

formal methods
reaction diffusion
safety critical
knowledge based systems
pattern formation
formal specification
artificial intelligence
pattern matching
complex systems
model checking
computer vision
image processing
natural language
expert systems
computer graphics