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]
No references recorded for this publication.
No citations of this publication recorded.