Text this

Number:

Provider:

CAPTCHA:

 ______     _____               _____    _    _   
|      \\  |  ___||   ____     |  ___|| | || | || 
|  --  //  | ||__    |    \\   | ||__   | || | || 
|  --  \\  | ||__    | [] ||   | ||__   | \\_/ || 
|______//  |_____||  |  __//   |_____||  \____//  
`------`   `-----`   |_|`-`    `-----`    `---`   
                     `-`

Please enter what you see:

Text this: An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications