Bisimulations and bisimulation games between Verbrugge models.

Sebastijan Horvat Tin Perkov Mladen Vukovic

Published in: Math. Log. Q. (2023)

Keyphrases

statistical models
bayesian networks
probabilistic model
experimental data
real time
data mining
genetic algorithm
knowledge base
d objects
markov chain
virtual environment
complex systems
bayesian framework
accurate models