Title | ||
---|---|---|
Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-32729-2_2 | PRIMA |
Field | DocType | Citations |
Convergence (routing),Abstraction model checking,Dispersion (optics),Vickrey auction,Computer science,Markov chain,Theoretical computer science,Rate of convergence,State space,Probabilistic model checking | Conference | 4 |
PageRank | References | Authors |
0.41 | 21 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jianye Hao | 1 | 189 | 55.78 |
Songzheng Song | 2 | 78 | 7.62 |
Yang Liu | 3 | 491 | 116.11 |
Jun Sun | 4 | 1407 | 120.35 |
Lin Gui | 5 | 8 | 2.52 |
Jin Song Dong | 6 | 177 | 15.93 |
hofung leung | 7 | 1314 | 132.32 |