Iman Haghighi

Identifiers

• name variant Iman Haghighi 0.60 · backfill

Papers (2)

1. Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics cs.SY · 2019 · author #1
2. Robotic Swarm Control from Spatio-Temporal Specifications cs.SY · 2016 · author #1

Mentions

• 1904.11611 #1 · arxiv_oai · confidence 0.70 Iman Haghighi
• 1609.06283 #1 · arxiv_oai · confidence 0.70 Iman Haghighi

Frequent Coauthors

• Calin Belta 2 shared papers
• Ezio Bartocci 1 shared papers
• Noushin Mehdipour 1 shared papers
• Sadra Sadraddini 1 shared papers