File tree 1 file changed +3
-3
lines changed
1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -34,9 +34,9 @@ AALpy also features a Generalized State Merging (GSM) framework based on the [Re
34
34
35
35
<div align =" center " >
36
36
37
- | ** Automata Type** | ** Supported Formalisms** | ** Active Algorithms** | ** Passive Algorithms** |
38
- | -------------------| :-----------------------------------------------------------------:| ---------------------------------------------------------| ------------------------------------ |
39
- | Deterministic | DFAs <br /> Mealy Machines <br /> Moore Machines | L* <br /> KV <br /> L# | RPNI <br /> EDSM < br /> GSM |
37
+ | ** Automata Type** | ** Supported Formalisms** | ** Active Algorithms** | ** Passive Algorithms** |
38
+ | -------------------| :-----------------------------------------------------------------:| ---------------------------------------------------------| -------------------------------|
39
+ | Deterministic | DFAs <br /> Mealy Machines <br /> Moore Machines | L* <br /> KV <br /> L# | RPNI <br /> EDSM |
40
40
| Non-Deterministic | ONFSM <br /> Non-deterministic Moore Machines <br /> Abstracted ONFSM | L* <sub >ONFSM</sub > | k-tails |
41
41
| Stochastic | Markov Decision Processes <br /> Stochastic Mealy Machines <br /> Markov Chains | L* <sub >MDP</sub > <br /> L* <sub >SMM</sub > | Alergia <br /> IoAlergia <br /> Alergia<sub >EDSM</sub > |
42
42
| Pushdown | VPA/SEVPA | KV<sub >VPA</sub > | PAPNI |
You can’t perform that action at this time.
0 commit comments