AALpy v.1.5.0 (major release)
The current version of AALpy includes a couple of new algorithms, equivalence oracles, QoL improvements, and bug fixes.
New Algorithms:
- L# and adaptive L# (thanks to @lkruger27 and @HarmCorporaal )
- Generalized State Merging framework (thanks to @zwergziege)
- New passive learning algorithms derived from GMS: k-tails, EDSM, AlergiaEDSM
New oracles:
- Wp and RandomWp Oracles (thanks to @steve-anunknown )
- Optimized W method
Other:
- bugfixes
- more robust loading
- advanced random sapling
- Non-deterministic Moore machine support
Contributors
zwergziege, steve-anunknown, and 2 other contributors