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
  • Orta Doğu Teknik Üniversitesi Adresli: Evet