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 December 2014, (Full Text) identifier identifier

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