SpaTeL: a novel spatial-temporal logic and its applications to networked systems. - Iman Haghighi; Austin Jones; Zhaodan Kong; Ezio Bartocci; Radu Grosu; Calin Belta (HSCC, 2015)

Pattern synthesis in a 3D agent-based model of stem cell differentiation. - Demarcus Briers; Iman Haghighi; Douglas E. White; Melissa L. Kemp; Calin Belta (CDC, 2016)

Robotic swarm control from spatio-temporal specifications. - Iman Haghighi; Sadra Sadraddini; Calin Belta (CDC, 2016)

Semi-supervised pattern synthesis in spatially distributed dynamical systems. - Iman Haghighi; Kevin Leahy 001; Rachael Ivison; Calin Belta (ACC, 2017)

Spatial-Temporal pattern Synthesis in a Network of Locally Interacting Cells. - Noushin Mehdipour; Demarcus Briers; Iman Haghighi; Chad M. Glen; Melissa L. Kemp; Calin Belta (CDC, 2018)

A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks. - Ezio Bartocci; Ebru Aydin Gol; Iman Haghighi; Calin Belta (IEEE Trans. Control. Netw. Syst., 2018)

Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. - Iman Haghighi; Noushin Mehdipour; Ezio Bartocci; Calin Belta (CDC, 2019)