4447 search results - page 9 / 890 » Model Checking Games |
134
Voted
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
109
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Weighted voting games are a popular model of collaboration in multiagent systems. In such games, each agent has a weight (intuitively corresponding to resources he can co...
127
click to vote
ENTCS
2010
14 years 11 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
119
click to vote
ENTCS
2008
15 years 2 months ago
2008
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal
106
click to vote
MFCS
2010
Springer
15 years 23 days ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...