571 search results - page 115 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
SAGA
2007
Springer
14 years 1 months 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...