Search Sciweavers | Sciweavers

4962 search results - page 252 / 993

» Stochastic Model Checking

142

Voted

DALT
2008
Springer

142views Intelligent Agents» more DALT 2008»

Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions

15 years 4 months ago

Download www.di.unito.it

We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...

Dimitar P. Guelev, Catalin Dima

claim paper

Read More »

122

Voted

FAW
2008
Springer

111views Algorithms» more FAW 2008»

Efficient First-Order Model-Checking Using Short Labels

15 years 4 months ago

Download www.labri.fr

We prove that there exists an O(log(n))-labeling scheme for every first-order formula with free set variables in every class of graphs that is nicely locally cwd-decomposable, whic...

Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...

claim paper

Read More »

Voted

FMCAD
2008
Springer

78views Formal Methods» more FMCAD 2008»

Model Checking Nash Equilibria in MAD Distributed Systems

15 years 4 months ago