A formal methods approach to pattern synthesis in reaction diffusion systems

Copy For Citation

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
• Middle East Technical University Affiliated: Yes