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 V.V., A Formal Approach to Spatio-Temporal Modeling of Game Systems//Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki. - 2024. - Vol.166, Is.4. - P.532-554.

Annotation

Представлен инновационный унифицированный подход к формальному моделированию игровых сущностей и их взаимодействий – FAST-GM (Formal Approach to SpatioTemporal Game Modeling). Предложенная модель интегрирует темпоральные и вероятностные аспекты, обеспечивая комплексное описание динамики игровых систем. Подход FAST-GM основан на расширенной темпоральной логике и теории вероятностей, что позволяет точно описать сложные игровые механики и их эволюцию во времени. Рассмотрено формальное определение игровых сущностей, их состояний и взаимодействий, а также методы интеграции темпоральных и вероятностных элементов. Особое внимание уделено применению модели для анализа игрового баланса, формальной верификации игровых сценариев и автоматизированной генерации тестовых случаев. Обсуждены масштабируемость и адаптивность модели для различных игровых жанров. Ожидается, что предложенный подход FAST-GM станет значительным шагом вперед в формальном моделировании игровых систем, предоставляя разработчикам мощный инструмент для анализа, верификации и оптимизации игровых механик на различных этапах разработки.

Keywords

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

The name of the journal

Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85217636738&doi=10.26907%2f2541-7746.2024.4.532-554&partnerID=40&md5=6d35155e71afbdfe753ef1cd027577d2

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

https://repository.kpfu.ru/eng/?p_id=311539&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 V.V., A Formal Approach to Spatio-Temporal 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=311539&p_lang=2	ru_RU
dc.description.abstract	Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki	ru_RU
dc.description.abstract	Представлен инновационный унифицированный подход к формальному моделированию игровых сущностей и их взаимодействий – FAST-GM (Formal Approach to SpatioTemporal Game Modeling). Предложенная модель интегрирует темпоральные и вероятностные аспекты, обеспечивая комплексное описание динамики игровых систем. Подход FAST-GM основан на расширенной темпоральной логике и теории вероятностей, что позволяет точно описать сложные игровые механики и их эволюцию во времени. Рассмотрено формальное определение игровых сущностей, их состояний и взаимодействий, а также методы интеграции темпоральных и вероятностных элементов. Особое внимание уделено применению модели для анализа игрового баланса, формальной верификации игровых сценариев и автоматизированной генерации тестовых случаев. Обсуждены масштабируемость и адаптивность модели для различных игровых жанров. Ожидается, что предложенный подход FAST-GM станет значительным шагом вперед в формальном моделировании игровых систем, предоставляя разработчикам мощный инструмент для анализа, верификации и оптимизации игровых механик на различных этапах разработки.	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