KFU. Card publication. A Formal Approach to Spatio-Temporal Modeling of Game Systems

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

A FORMAL APPROACH TO SPATIO-TEMPORAL MODELING OF GAME SYSTEMS

Form of presentation

Articles in international journals and collections

Year of publication

2024

Язык

английский

Authors, employees of KFU

Kugurakova Vlada Vladimirovna, author

Bibliographic description in the original language

Kugurakova VV, A Formal Approach to Spatio-Temp oral Modeling of Game Systems//UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA-SERIYA FIZIKO-MATEMATICHESKIE NAUKI. - 2024. - Vol.166, Is.4. - P.532-554.

Annotation

This article introduces FAST-GM (Formal Approach to Spatio-Temporal Game Modeling), a new unified approach to formal modeling of game entities and their interactions that integrates temporal and probabilistic dimensions, thus offering a comprehensive framework for capturing the dynamics of game systems. Built upon the principles of extended temporal logic and probability theory, FAST-GM accurately describes complex game mechanics and how they evolve. A formal definition of game entities was considered. Their states and interactions were explored. The methods for integrating temporal and probabilistic elements into gameplay were discussed. The applicability of FAST-GM for game balancing, formal verification of game scenarios, and automated generation of test cases was analyzed. Its scalability and adaptability in various game genres were assessed. The results obtained show that FAST-GM should advance the formal modeling of game systems, equipping developers with a powerful toolset for analysis, verification, and optimization of game mechanics throughout the process of creating a video game.

Keywords

формальное моделирование, игровая сущность, взаимодействие в играх, темпоральная логика, вероятностная модель, анализ игрового баланса, верификация игровых сценариев, FAST-GM, game studies, геймдизайн

The name of the journal

UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA-SERIYA FIZIKO-MATEMATICHESKIE NAUKI

URL

https://uzakufismat.elpub.ru/jour/article/view/130

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=321051&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Kugurakova Vlada Vladimirovna	ru_RU
dc.date.accessioned	2024-01-01T00:00:00Z	ru_RU
dc.date.available	2024-01-01T00:00:00Z	ru_RU
dc.date.issued	2024	ru_RU
dc.identifier.citation	Kugurakova VV, A Formal Approach to Spatio-Temp oral Modeling of Game Systems//UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA-SERIYA FIZIKO-MATEMATICHESKIE NAUKI. - 2024. - Vol.166, Is.4. - P.532-554.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=321051&p_lang=2	ru_RU
dc.description.abstract	UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA-SERIYA FIZIKO-MATEMATICHESKIE NAUKI	ru_RU
dc.description.abstract	This article introduces FAST-GM (Formal Approach to Spatio-Temporal Game Modeling), a new unified approach to formal modeling of game entities and their interactions that integrates temporal and probabilistic dimensions, thus offering a comprehensive framework for capturing the dynamics of game systems. Built upon the principles of extended temporal logic and probability theory, FAST-GM accurately describes complex game mechanics and how they evolve. A formal definition of game entities was considered. Their states and interactions were explored. The methods for integrating temporal and probabilistic elements into gameplay were discussed. The applicability of FAST-GM for game balancing, formal verification of game scenarios, and automated generation of test cases was analyzed. Its scalability and adaptability in various game genres were assessed. The results obtained show that FAST-GM should advance the formal modeling of game systems, equipping developers with a powerful toolset for analysis, verification, and optimization of game mechanics throughout the process of creating a video game.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	формальное моделирование	ru_RU
dc.subject	игровая сущность	ru_RU
dc.subject	взаимодействие в играх	ru_RU
dc.subject	темпоральная логика	ru_RU
dc.subject	вероятностная модель	ru_RU
dc.subject	анализ игрового баланса	ru_RU
dc.subject	верификация игровых сценариев	ru_RU
dc.subject	FAST-GM	ru_RU
dc.subject	game studies	ru_RU
dc.subject	геймдизайн	ru_RU
dc.title	A Formal Approach to Spatio-Temporal Modeling of Game Systems	ru_RU
dc.type	Articles in international journals and collections	ru_RU