Ruitenburg's Theorem via Duality and Bounded Bisimulations.

Luigi Santocanale Silvio Ghilardi

Published in: CoRR (2018)

Keyphrases

linear programming
asymptotically optimal
database
three dimensional
multiscale
machine learning
high level
similarity measure
von neumann