674 search results - page 97 / 135 » Preferences in Game Logics |
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
ECSCW
2001
13 years 9 months ago
2001
Single Display Groupware (SDG) supports face-to-face collaborators working over a single shared display, where all people have their own input device Although SDG is simple in conc...
ETM
2010
13 years 5 months ago
2010
Three service providers in competition, try to optimize their quality of service / content level and their service access price. But, they have to deal with uncertainty on the cons...
CSL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
SAGA
2007
Springer
14 years 1 months ago
2007
Springer
We consider applications of probabilistic techniques in the framework of algorithmic game theory. We focus on three distinct case studies: (i) The exploitation of the probabilistic...