Skip to content

Commit

Permalink
update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
emuskardin committed Sep 13, 2021
1 parent a102e40 commit 247b167
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 2 deletions.
5 changes: 4 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ Whether you work with regular languages or you would like to learn models of
|----------|:-------------:|------:|
| Deterministic | Deterministic Finite Automata<br />Mealy Machines<br />Moore Machines | Counterexample Processing<br />Seamless Caching<br />11 Eq. Oracles |
| Non-Deterministic | Observable Non-Deterministic FSM <br /> Abstracted Non-Deterministic FSM| Size Reduction Trough Abstraction<br />|
| Stochastic | Markov Decision Processes<br />Stochastic Mealy Machines<br />Markov Chains | Counterexample Processing<br />Row/Cell Compatability Metrics<br />Model Checking with PRISM<br />[Alergia Passive Learning]((https://link.springer.com/article/10.1007/s10994-016-5565-9))|
| Stochastic | Markov Decision Processes<br />Stochastic Mealy Machines<br />Markov Chains | Counterexample Processing<br />Row/Cell Compatability Metrics<br />Model Checking with PRISM<br />Alergia Passive Learning|

</center>

Expand All @@ -48,6 +48,9 @@ enables efficient learning of system models with large input space.
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** and **caching**.

AALpy also has an efficient implementation of the [Alergia](https://link.springer.com/article/10.1007/s10994-016-5565-9) algorithm,
suited for passive learning of Markov Chains and Markov Decision processes.

## Installation

Expand Down
2 changes: 1 addition & 1 deletion setup.py
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@

setup(
name='aalpy',
version='1.0.5',
version='1.1.0',
packages=['aalpy', 'aalpy.base', 'aalpy.SULs', 'aalpy.utils', 'aalpy.oracles', 'aalpy.automata',
'aalpy.learning_algs', 'aalpy.learning_algs.stochastic', 'aalpy.learning_algs.deterministic',
'aalpy.learning_algs.non_deterministic'],
Expand Down

0 comments on commit 247b167

Please sign in to comment.