Temporal Logic Control under Incomplete or Conflicting Information
Title | Temporal Logic Control under Incomplete or Conflicting Information |
Publication Type | Conference Paper |
Year of Publication | 2017 |
Authors | Georgios Fainekos, Herbert Glenn Tanner |
Conference Name | American Control Conference |
Keywords | 1446730 |
Citation Key | FainekosT2017acc |