A formal methods approach to pattern synthesis in reaction diffusion systems

AYDIN GÖL E., Bartocci E., Belta C.

53rd IEEE Conference on Decision and Control, Los Angeles, CA, USA, 15 - 17 December 2014, (Full Text)

• Publication Type: Conference Paper / Full Text
• Doi Number: 10.1109/cdc.2014.7039367
• City: Los Angeles, CA, USA
• Open Archive Collection: AVESIS Open Access Collection
• Middle East Technical University Affiliated: Yes