Bibliografías temáticas / Timed game automata

Índice

  1. Artículos de revistas

Literatura académica sobre el tema "Timed game automata"

Autor: Grafiati
Publicado: 11 de marzo de 2023

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Timed game automata".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Timed game automata"

1

Cimatti, Alessandro, Luke Hunsberger, Andrea Micheli, Roberto Posenato, and Marco Roveri. "Dynamic controllability via Timed Game Automata." Acta Informatica 53, no. 6-8 (2016): 681–722. http://dx.doi.org/10.1007/s00236-016-0257-2.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Bertrand, Nathalie, Amélie Stainer, Thierry Jéron, and Moez Krichen. "A game approach to determinize timed automata." Formal Methods in System Design 46, no. 1 (2014): 42–80. http://dx.doi.org/10.1007/s10703-014-0220-1.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Bouyer, Patricia, Nicolas Markey, and Ocan Sankur. "Robust reachability in timed automata and games: A game-based approach." Theoretical Computer Science 563 (January 2015): 43–74. http://dx.doi.org/10.1016/j.tcs.2014.08.014.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Jovanović, Aleksandra, and Marta Kwiatkowska. "Parameter synthesis for probabilistic timed automata using stochastic game abstractions." Theoretical Computer Science 735 (July 2018): 64–81. http://dx.doi.org/10.1016/j.tcs.2017.05.005.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Guha, Shibashis, Shankara Narayanan Krishna, Chinmay Narayan, and S. Arun-Kumar. "A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization." Electronic Proceedings in Theoretical Computer Science 120 (July 26, 2013): 47–62. http://dx.doi.org/10.4204/eptcs.120.5.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Largouët, Christine, Omar Krichen, and Yulong Zhao. "Extended Automata for Temporal Planning of Interacting Agents." International Journal of Monitoring and Surveillance Technologies Research 5, no. 1 (2017): 30–48. http://dx.doi.org/10.4018/ijmstr.2017010102.

Texto completo
Resumen
In this paper, the authors consider the planning problem for a system represented as a set of interacting agents evolving along time according to explicit timing constraints. Given a goal, the planning problem is to find the sequence of actions such that the system reaches the goal state in a limited time and in an optimal manner, assuming actions have a cost. In their approach, the planning problem is based on model-checking and controller synthesis techniques while the goal is defined using temporal logic. Each agent of the system is represented using the formalism of Priced Timed Game Autom
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Allamigeon, Xavier, Uli Fahrenberg, Stéphane Gaubert, Ricardo D. Katz, and Axel Legay. "Tropical Fourier–Motzkin elimination, with an application to real-time verification." International Journal of Algebra and Computation 24, no. 05 (2014): 569–607. http://dx.doi.org/10.1142/s0218196714500258.

Texto completo
Resumen
We introduce a generalization of tropical polyhedra able to express both strict and non-strict inequalities. Such inequalities are handled by means of a semiring of germs (encoding infinitesimal perturbations). We develop a tropical analogue of Fourier–Motzkin elimination from which we derive geometrical properties of these polyhedra. In particular, we show that they coincide with the tropically convex union of (non-necessarily closed) cells that are convex both classically and tropically. We also prove that the redundant inequalities produced when performing successive elimination steps can b
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Larsen, Kim G. "Playing Games with Timed Automata." Electronic Proceedings in Theoretical Computer Science 166 (October 26, 2014): 2–3. http://dx.doi.org/10.4204/eptcs.166.2.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Zhang, Rong. "Automatic Generation of Real-Time Animation Game Learning Levels Based on Artificial Intelligence Assistant." Scientific Programming 2022 (October 13, 2022): 1–19. http://dx.doi.org/10.1155/2022/1557302.

Texto completo
Resumen
With the development of computer animation games, now many animation games use the automatic generation of animation game levels method to generate animation game content. Using the automatic generation levels of the animation game method can quickly generate many different levels, saving labor costs in manual production. And with the combination of other fields, more accurate results can be obtained. In this paper, the goal is to automatically generate the level of the animation game. This research proposed animation game objects and victory conditions to derive the concept of the clearance p
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Yang, Cheng-Ta, Her-Tyan Yeh, Bing-Chang Chen, and Guo-Xiang Jian. "Automatic tunable deployment for real-time strategy games." Engineering Computations 34, no. 2 (2017): 239–50. http://dx.doi.org/10.1108/ec-08-2015-0251.

Texto completo
Resumen
Purpose Extensive efforts have been conducted on the real-time strategy (RTS) games. The purpose of this paper is the specific artificial intelligence (AI) challenges posed by RTS games; non-player character (NPC) is started out by collecting game-map resources to build up defenses and attack forces, to upgrade combat deployment. Design/methodology/approach The authors used weak AI fuzzy theory as the foundation for tunable development. With the fuzzy theory, the AI was more humanistic in its judgment process. Findings Well-developed AIs have been used brilliantly in various aspects in RTS gam
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes
También puede estar interesado en las bibliografías ampliadas sobre el tema "Timed game automata" para tipos de fuentes particulares:
Artículos de revistas
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía