FORMATS
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
FORMATS
2005
Springer
13 years 11 months ago
2005
Springer
FORMATS
2005
Springer
13 years 11 months ago
2005
Springer
We consider real-time games where the goal consists, for each player, in maximizing the average amount of reward he or she receives per time unit. We consider zero-sum rewards, so ...