Average Reward Timed Games.

B. Thomas Adler Luca de Alfaro Marco Faella Average Reward Timed Games. 65-80 2005 conf/formats/2005 FORMATS http://dx.doi.org/10.1007/11603009_6 db/conf/formats/formats2005.html#AdlerAF05