Learning Non Deterministic Systems

Wiki page still in construction. On high level, learning procedure is the same as for deterministic and non-deterministic systems.

• Implement a SUL interface. With it learning algorithm will query the system.
• Choose an Eq. Oracle
• Setup the learning algorithm

Please follow the instruction found here and on other related Wiki pages.

Learning has no knowledge about SUL's structure (black-box). It only queries the SUL.

For more details, please refer to: https://des-lab.github.io/AALpy/documentation/aalpy/learning_algs/non_deterministic/OnfsmLstar.html