4447 search results - page 21 / 890 » Model Checking Games |
145
Voted
DFG
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We give an overview of important results for non-atomic congestion games in their traditional form along with self-contained and short proofs and then present new results...
125
click to vote
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
109
click to vote
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
103
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Game theoretic models of learning which are based on the strategic form of the game cannot explain learning in games with large extensive form. We study learning in such games by ...
161
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...