Model Reduction with Abstraction : Case Study with Nemorize Game


The KIPS Transactions:PartD, Vol. 13, No. 1, pp. 111-116, Feb. 2006
http://dx.doi.org/10.3745/KIPSTD.2006.13D.1.111,   PDF Download:
Keywords: Finite State Model, Reachability Analysis, Abstraction, State Space Traversal
Abstract

Given a state, it is essential to for the finite state model analysis (such as model checking) to decide whether or not the state is reachable. W a site of the model is small, the whole state space is to be explored exhaustively. However, it is very difficult or even impossible if a size of the model is large. In this case, the model can be reduced into a smaller one via abstraction which does not allow e false positive error. this paper, we devise such an abstraction and apply it to the Nemorize game solving. As a result, unsolved game due to the state explosion problem is solved with the proposed abstraction.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
L. Jung-Lim and K. Gi-Hwon, "Model Reduction with Abstraction : Case Study with Nemorize Game," The KIPS Transactions:PartD, vol. 13, no. 1, pp. 111-116, 2006. DOI: http://dx.doi.org/10.3745/KIPSTD.2006.13D.1.111.

[ACM Style]
Lee Jung-Lim and Kwon Gi-Hwon. 2006. Model Reduction with Abstraction : Case Study with Nemorize Game. The KIPS Transactions:PartD, 13, 1, (2006), 111-116. DOI: http://dx.doi.org/10.3745/KIPSTD.2006.13D.1.111.