發送短信

數:

提供者:

CAPTCHA:

 _    _    __   __    _  _      ___    __    __  
| |  | ||  \ \\/ //  | \| ||   / _ \\  \ \\ / // 
| |/\| ||   \ ` //   |  ' ||  / //\ \\  \ \/ //  
|  /\  ||    | ||    | .  || |  ___  ||  \  //   
|_// \_||    |_||    |_|\_|| |_||  |_||   \//    
`-`   `-`    `-`'    `-` -`  `-`   `-`     `

Please enter what you see:

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