Searching for "Time and games." – sorted by Relevance.
764 documents found, showing 1 through 10.
Next 10 →
-
The Element of Surprise in Timed Games
- …The Element of Surprise in Timed Games ? Luca de Alfaro 1 , Marco Faella 1;2 , Thomas A…
- Cited by 16 (7 self) – Add To MetaCart
-
Average reward timed games
- …Average Reward Timed Games ⋆ B. Thomas Adler 1 , Luca de Alfaro 1 , and Marco Faella 1,2 1 School…
- Cited by 6 (1 self) – Add To MetaCart
-
Dense Real-time Games
- … according to a given winning condition. We focus on real-time systems, and choose to model the related game…
- Cited by 14 (3 self) – Add To MetaCart
-
Reachability-time games on timed automata
- …Reachability-Time Games on Timed Automata ⋆ (Extended Abstract) Marcin Jurdziński ⋆⋆ and Ashutosh…
- Cited by 3 (1 self) – Add To MetaCart
-
Timed Games With Branching-Time Winning Conditions
- …Timed games with branching-time winning conditions Aniello Murano Dipartimento di Informatica ed…
- Add To MetaCart
-
Optimal strategies in priced timed game automata
- …Optimal Strategies in Priced Timed Game Automata Patricia Bouyer 1⋆ , Franck Cassez 2⋆ , Emmanuel…
- Cited by 25 (12 self) – Add To MetaCart
-
Automata-theoretic Decision of Timed Games
- …In Proc. of VMCAI'02, LNCS 2294, 94 - 108, 2002. Automata-theoretic Decision of Timed Games…
- Cited by 8 (3 self) – Add To MetaCart
-
Minimum-time reachability in timed games
- …Minimum-Time Reachability in Timed Games ⋆ Thomas Brihaye 1 , Thomas A. Henzinger 2 , Vinayak S…
- Cited by 2 (0 self) – Add To MetaCart
-
Real time game loop models for single-player computer games
- …Real Time Game Loop Models for Single-Player Computer Games LUIS VALENTE 1 AURA CONCI 1 BRUNO…
- Cited by 1 (0 self) – Add To MetaCart
-
Efficient on-the-fly algorithms for the analysis of timed games
- …-The-Fly Algorithms for the Analysis of Timed Games. Proceedings of the 16th International Conference on Concurrency…
- Cited by 19 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
