Formal design of controller: temporal logic speci cation and game theoretic approach

Toshimitsu Ushio, Ami Sakakibara
January 2018
Cite DOI
Publication
Systems, Control and Information