GPU Accelerated On-the-Fly Reachability Checking.

Zhimin Wu Yang Liu Jun Sun Jianqi Shi Shengchao Qin

Published in: ICECCS (2015)

Keyphrases

gpu accelerated
finite element
real time
state space
transitive closure
consistency checking
learning algorithm
three dimensional
reinforcement learning
fuzzy logic
computer aided