Iman Haghighi

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 8

Top Topics

Dynamic Constraints

Top Venues

Publications

Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CDC (2019)
Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CoRR (2019)
Noushin Mehdipour, Demarcus Briers, Iman Haghighi, Chad M. Glen, Melissa L. Kemp, Calin Belta
Spatial-Temporal pattern Synthesis in a Network of Locally Interacting Cells. CDC (2018)
Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks. IEEE Trans. Control. Netw. Syst. 5 (1) (2018)
Iman Haghighi, Kevin Leahy, Rachael Ivison, Calin Belta
Semi-supervised pattern synthesis in spatially distributed dynamical systems. ACC (2017)
Iman Haghighi, Sadra Sadraddini, Calin Belta
Robotic swarm control from spatio-temporal specifications. CDC (2016)
Iman Haghighi, Sadra Sadraddini, Calin Belta
Robotic Swarm Control from Spatio-Temporal Specifications. CoRR (2016)
Demarcus Briers, Iman Haghighi, Douglas E. White, Melissa L. Kemp, Calin Belta
Pattern synthesis in a 3D agent-based model of stem cell differentiation. CDC (2016)
Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta
SpaTeL: a novel spatial-temporal logic and its applications to networked systems. HSCC (2015)