Learning state machines via efficient hashing of future traces.

Robert BaumgartnerSicco Verwer
Published in: CoRR (2022)