Temporal logic control under incomplete or conflicting information

Georgios E. Fainekos, Herbert G. Tanner. Temporal logic control under incomplete or conflicting information. In 2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017. pages 1853-1858, IEEE, 2017. [doi]

Abstract

Abstract is missing.