أرسل هذا في رسالة قصيرة: An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications

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