發送短信

數:

提供者:

CAPTCHA:

             ___      _____      ___      _  __  
    ___     / _ \\   |__  //    / _ \\   | |/ // 
   /   ||  | / \ ||    / //    / //\ \\  | ' //  
  | [] ||  | \_/ ||   / //__  |  ___  || | . \\  
   \__ ||   \___//   /_____|| |_||  |_|| |_|\_\\ 
    -|_||   `---`    `-----`  `-`   `-`  `-` --` 
     `-`

Please enter what you see:

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