Skip to content

Learning Deterministic Systems

Jump to bottom
Edi Muškardin edited this page Mar 19, 2021 · 10 revisions

To learn any deterministic system, simply implement the reset (pre and post) and step methods of the SUL interface. For automata supported by AALpy, SUL implementations already exist. For more detailed explanation and examples on how to implement SUL interface take a look at the SUL Interface, or How to Learn Your Systems section of the Wiki.

Once you have implemented SUL, you need to select the equivalence oracle. For more detailed discussion about conformance checking and equivalence oracles, please refer to the Equivalence Oracles and Conformance Checking section of the Wiki.

Overview

Home

Interactive Examples

Code Examples

Core Functionalities

Learning Black-box Systems

Conformance Checking

Setting Up Learning

Helper Functionalities

Random Automata Generation

Saving, Loading, Visualizing Automata

Advanced Use

Learning-based Testing

Learning-based Fuzzing

Model-Checking With PRISM

Other

Performance Evaluation

Clone this wiki locally