0

Formal design of controller: temporal logic speci cation and game theoretic approach
Toshimitsu Ushio, Ami Sakakibara
Cite DOI