Text this

Number:

Provider:

CAPTCHA:

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

Please enter what you see:

Text this: Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction