Keyword : the Ising model

Probabilistic Symmetry Reduction for a System with Ring Buffer
Toshifusa SEKIZAWA  Takashi TOYOSHIMA  Koichi TAKAHASHI  Kazuko TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5  pp. 967-975
Type of Manuscript: Special Section PAPER (Special Section on Formal Approach)
Category: System Analysis
Keyword: 
probabilistic symmetry reduction,  ring buffer,  model checking,  the Ising model,  AIS, 
  Summary |  Full Text:PDF (307.2KB)
Probabilistic Model Checking of the One-Dimensional Ising Model
Toshifusa SEKIZAWA  Tatsuhiro TSUCHIYA  Koichi TAKAHASHI  Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/05/01
Vol. E92-D  No. 5  pp. 1003-1011
Type of Manuscript: Special Section PAPER (Special Section on Formal Approach)
Category: Model Checking
Keyword: 
verification,  probabilistic model checking,  the Ising model,  Discrete Time Markov Chain, 
  Summary |  Full Text:PDF (705.5KB)