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

 ______     ______     _____   _    _     _____   
|      \\  /_   _//   / ___// | || | ||  / ____|| 
|  --  //   -| ||-    \___ \\ | || | || / //---`' 
|  --  \\   _| ||_    /    // | \\_/ || \ \\___   
|______//  /_____//  /____//   \____//   \_____|| 
`------`   `-----`  `-----`     `---`     `----`