DES-Lab AALpy Ideas · Discussions · GitHub

Sort by: Latest activity

Ideas Discussions

Share ideas for new features

You must be logged in to vote

Random state parameter for non-deterministic equivalence oracles

steve-anunknown started Feb 27, 2025 in Ideas

3
You must be logged in to vote

New use of AALpy library

xiaopeng-ye started Aug 5, 2021 in Ideas

8
You must be logged in to vote

Christmas Wishes

emuskardin started Dec 20, 2023 in Ideas

4
You must be logged in to vote

Common interface for all automaton types

zwergziege started Nov 7, 2023 in Ideas

1