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]

Authors

Georgios E. Fainekos

This author has not been identified. Look up 'Georgios E. Fainekos' in Google

Herbert G. Tanner

This author has not been identified. Look up 'Herbert G. Tanner' in Google