發送短信

數:

提供者:

CAPTCHA:

 _    _      ___      ____       ___      ______  
| |  | ||   / _ \\   |  _ \\    / _ \\   /_   _// 
| |/\| ||  | / \ ||  | |_| ||  / //\ \\  `-| |,-  
|  /\  ||  | \_/ ||  | .  //  |  ___  ||   | ||   
|_// \_||   \___//   |_|\_\\  |_||  |_||   |_||   
`-`   `-`   `---`    `-` --`  `-`   `-`    `-`'

Please enter what you see:

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