發送短信

數:

提供者:

CAPTCHA:

 _    _      ___      _  _    __   __   __   __  
| || | ||   / _ \\   | \| ||  \ \\/ //  \ \\/ // 
| || | ||  / //\ \\  |  ' ||   \ ` //    \   //  
| \\_/ || |  ___  || | .  ||    | ||     / . \\  
 \____//  |_||  |_|| |_|\_||    |_||    /_//\_\\ 
  `---`   `-`   `-`  `-` -`     `-`'    `-`  --`

Please enter what you see:

發送短信 : An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications