Login / Signup

GPU Accelerated Strong and Branching Bisimilarity Checking.

Anton Wijs
Published in: TACAS (2015)
Keyphrases
  • gpu accelerated
  • finite element
  • real time
  • search tree
  • sequence alignment
  • branch and bound
  • reinforcement learning