Login / Signup

On-the-Fly Exact Computation of Bisimilarity Distances.

Giorgio BacciGiovanni BacciKim G. LarsenRadu Mardare
Published in: TACAS (2013)
Keyphrases
  • exact computation
  • distance measure
  • distance function
  • approximate inference
  • evolutionary algorithm
  • higher order
  • markov chain monte carlo