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