Why Is Simulation Harder than Bisimulation?

Antonín Kucera Richard Mayr

Published in: CONCUR (2002)

Keyphrases

simulation models
search engine
state space
simulation model
simulation environment
neural network
digital libraries
information technology
evolutionary algorithm
markov chain
heuristic search