571 search results - page 115 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
163
click to vote
SAGA
2007
Springer
15 years 10 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...