Ami Sakakibara
Ami Sakakibara
Home
Publications
Awards
Experiences
Contact
0
Formal design of controller: temporal logic speci cation and game theoretic approach
Toshimitsu Ushio
,
Ami Sakakibara
Cite
DOI
Cite
×