A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks

Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta. A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks. IEEE Trans. Control of Network Systems, 5(1):308-320, 2018. [doi]

Abstract

Abstract is missing.