Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction
Refereed conference paper presented and published in conference proceedings

替代計量分析
.

其它資訊
著者HAO, Jianye, SONG Songzheng, LIU Yang, SUN Jun, GIU Lin, DONG Jinsong, LEUNG Ho-fung
會議名稱15th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2012)
會議國家/地區馬來西亞
會議論文集題名15th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2012)
出版年份2012
月份9
出版地Malaysia, Kuching
頁次46
語言英式英語

上次更新時間 2020-31-10 於 00:11