Search Sciweavers | Sciweavers

4447 search results - page 287 / 890

» Model Checking Games

100

click to vote

CSE
2009
IEEE

99views Theoretical Computer Science» more CSE 2009»

Mathematical Modeling of Social Games

15 years 11 months ago

Download www.cse.cuhk.edu.hk

Kam Tong Chan, Irwin King, Man-Ching Yuen

claim paper

Read More »

113

Voted

ISPW
2009
IEEE

116views Software Engineering» more ISPW 2009»

Modeling Software Evolution with Game Theory

15 years 11 months ago

Download www.imamu.edu.sa

Vibha Sazawal, Nikita Sudan

claim paper

Read More »

125

click to vote

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

15 years 10 months ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

click to vote

ATAL
2004
Springer

61views Intelligent Agents» more ATAL 2004»

Modelling Coalition Formation over Time for Iterative Coalition Games

15 years 10 months ago

Download www.lsi.upc.edu

Carlos Mérida-Campos, Steven Willmott

claim paper

Read More »

click to vote

ATAL
2003
Springer

116views Intelligent Agents» more ATAL 2003»

A language for modeling agents' decision making processes in games

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers