Text this

Number:

Provider:

CAPTCHA:

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

Please enter what you see:

Text this: Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems