Skip to content

v.1.6.0

Choose a tag to compare

@emuskardin emuskardin released this 05 Jun 17:30

New algorithm: hW

  • AALpy now implements hW-inference: A heuristic approach to retrieve models black box testing
    • Resetless learning (resets the SUL only once, at the start of the algorithm)
    • Optionally resets the SUL few more times at the very end, to determine the initial state
    • Supports resetless learning of Mealy machines
      • Support for DFAs/Moores might follow in future releases

Minor changes

  • minor bug fixes
  • ensure that RPNI's utility functions are deterministic