406 search results - page 16 / 82 » Games with Opacity Condition |
SYNTHESE
2010
13 years 5 months ago
2010
Subjects communicated prior to playing trust games; the richness of the communication media and the topics of conversation were manipulated. Communication richness failed to produ...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
CLEIEJ
2007
13 years 7 months ago
2007
: Several business areas, like Management and Negotiation, have used games like a didactic way to simulate world reality, to introduce students to the day-to-day generated problems...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
IJCAI
2007
13 years 9 months ago
2007
We introduce a weakening of standard gametheoretic dominance conditions, called δdominance, which enables more aggressive pruning of candidate strategies at the cost of solution ...