Sciweavers

1817 search results - page 1 / 364
» Extensive Games as Process Models
Sort
View
JOLLI
2002
73views more  JOLLI 2002»
13 years 4 months ago
Extensive Games as Process Models
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...
Johan van Benthem
CORR
2002
Springer
108views Education» more  CORR 2002»
13 years 4 months ago
Learning to Play Games in Extensive Form by Valuation
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 ...
Philippe Jehiel, Dov Samet
SERP
2004
13 years 6 months ago
Software Specification of MERTIS: Modifiable Extensible Real-Time Interactive Simulation System
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
Frederick C. Harris Jr., Leandro Basallo, Ryan E. ...
PPDP
2005
Springer
13 years 10 months ago
ReactiveML: a reactive extension to ML
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
Louis Mandel, Marc Pouzet