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

• Publication Type: Conference Paper / Full Text
• Doi Number: 10.1109/cdc.2014.7039367
• City: Los Angeles, CA, USA