571 search results - page 115 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
199
click to vote
SAGA
2007
Springer
16 years 11 days ago
2007
Springer
We consider applications of probabilistic techniques in the framework of algorithmic game theory. We focus on three distinct case studies: (i) The exploitation of the probabilistic...