Sciweavers

169 search results - page 3 / 34
» Optimal Strategies in Priced Timed Game Automata
Sort
View
TACAS
2004
Springer
97views Algorithms» more  TACAS 2004»
13 years 11 months ago
Resource-Optimal Scheduling Using Priced Timed Automata
Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. S...
MST
2010
98views more  MST 2010»
13 years 4 months ago
Congestion Games with Linearly Independent Paths: Convergence Time and Price of Anarchy
Abstract. We investigate the effect of linear independence in the strategies of congestion games on the convergence time of best improvement sequences and on the pure Price of Anar...
Dimitris Fotakis
FORMATS
2009
Springer
13 years 9 months ago
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
Peter Bulychev, Thomas Chatain, Alexandre David, K...
FMSD
2008
94views more  FMSD 2008»
13 years 5 months ago
Optimal infinite scheduling for multi-priced timed automata
Abstract. This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start...
Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larse...
SAGT
2009
Springer
136views Game Theory» more  SAGT 2009»
14 years 8 days ago
Non-clairvoyant Scheduling Games
In a scheduling game, each player owns a job and chooses a machine to execute it. While the social cost is the maximal load over all machines (makespan), the cost (disutility) of ...
Christoph Dürr, Nguyen Kim Thang