On the Definability of Simulability and Bisimilarity by Finite Epistemic Models.

Hans van Ditmarsch David Fernández-Duque Wiebe van der Hoek

Published in: CLIMA (2011)

Keyphrases

databases
neural network
mathematical models
database
genetic algorithm
expert systems
prior knowledge
hidden markov models
probabilistic model
least squares
experimental data
model checking
statistical models
finite number