發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction