A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems - researchr publication

researchr

You are not signed in
Sign in
Sign up

Bhaskar DasGupta, Eduardo D. Sontag. A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems. Theoretical Computer Science, 262(1):161-189, 2001. [doi]

Abstract is missing.

runs on WebDSL