4447 search results - page 54 / 890 » Model Checking Games |
164
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
176
click to vote
CLIMA
2004
15 years 7 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
151
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
180
click to vote
STTT
2010
15 years 1 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
165
click to vote
EOR
2007
15 years 6 months ago
2007
The aim of this work is to present a numerical measure of the importance of each player in a cooperative game when the cooperation possibilities are limited according to the links...