Decidability of Weak Simulation on One-Counter Nets.

Piotr Hofman Richard Mayr Patrick Totzke

Published in: LICS (2013)

Keyphrases

description logics
simulation model
artificial intelligence
three dimensional
bayesian networks
genetic algorithm
web services
similarity measure
learning environment
video sequences
simulation environment
discrete event simulation