A formal methods approach to pattern synthesis in reaction diffusion systems

Creative Commons License

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

53rd IEEE Conference on Decision and Control, Los Angeles, CA, USA, 15 - 17 Aralık 2014 identifier identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.1109/cdc.2014.7039367
  • Basıldığı Şehir: Los Angeles, CA, USA