From eafd8a05f4ecc87c2939ad522cc95ac09e2ed392 Mon Sep 17 00:00:00 2001 From: Andrea Pferscher <andrea.pferscher@ist.tugraz.at> Date: Wed, 21 Apr 2021 10:01:20 +0200 Subject: [PATCH] minor changes --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 645b5eb714f..e478a4b19e2 100644 --- a/README.md +++ b/README.md @@ -14,7 +14,7 @@ stochastic behavior, AALpy allows you to learn **observable nondeterministic finite-state machines**, **Markov decision processes**, or **stochastic Mealy machines**. -AALpy enables efficient learning by providing a **large array of equivalence oracles**, implementing various **conformance testing** strategies. Learning +AALpy enables efficient learning by providing a **large set of equivalence oracles**, implementing various **conformance testing** strategies. Learning is mostly based on Angluin's [L* algorithm](https://people.eecs.berkeley.edu/~dawnsong/teaching/s10/papers/angluin87.pdf), for which AALpy supports a selection of optimizations, including **efficient counterexample processing**. Finally, support for learning **abstracted non-deterministic Mealy machines**