Name Card

Full name Familienname, Vorname
Haghighi, Iman
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Haghighi, Iman ; Mehdipour, Noushin ; Bartocci, Ezio ; Belta, Calin Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative SemanticsKonferenzbeitrag Inproceedings 2019
2Bartocci, Ezio ; Aydin Gol, Ebru ; Haghighi, Iman ; Belta, Calin A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion NetworksArtikel Article 2018
3Haghighi, Iman ; Jones, Austin ; Kong, Zhaodan ; Bartocci, Ezio ; Gros, Radu ; Belta, Calin SpaTeLKonferenzbeitrag Inproceedings 2015