Computing bounded reach sets from sampled simulation traces.

Zhenqi Huang Sayan Mitra

Published in: HSCC (2012)

Keyphrases

simulation model
discrete event simulation
computer vision
website
collision detection
database
numerical simulations
digital libraries
set theoretic
simulation models
mathematical models
simulation study
multi agent systems
three dimensional
image segmentation
web services
data mining
databases