Model Checking in General Game Playing: Automated Translation from GDL-II to MCK
General Game Playing (GGP) is the field of Artificial Intelligence (AI) that investigates generalized techniques for finding winning strategies in games. GGP agents are expected to be able to play a game with no prior knowledge by receiving the game shortly before starting to play. Games with perfec...
Main Author: | |
---|---|
Other Authors: | , |
Format: | Others |
Published: |
Auckland University of Technology,
2017-11-28T00:40:24Z.
|
Subjects: | |
Online Access: | Get fulltext |