發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

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