Login / Signup
A formal semantics of extended hierarchical state transition matrices using CSP#.
Yoriyuki Yamagata
Weiqiang Kong
Akira Fukuda
Nguyen Van Tang
Hitoshi Ohsaki
Kenji Taguchi
Published in:
Formal Aspects Comput. (2014)
Keyphrases
</>
formal semantics
transition matrices
constraint satisfaction problems
logical language
modelling language
logical reasoning
owl dl ontology
multi agent
state space
np complete
markov decision processes
state variables
modeling language
long run