أرسل هذا في رسالة قصيرة

رقم:

مقدم:

كابتشا:

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

يرجى إدخال ما تراه::

أرسل هذا في رسالة قصيرة: Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction