Uses of Package
de.learnlib.algorithm.malerpnueli
-
Packages that use de.learnlib.algorithm.malerpnueli Package Description de.learnlib.algorithm.malerpnueli This package (and sub-packages) provides the implementation of theL* variation
based on the paper On the Learnability of Infinitary Regular Sets by Oded Maler and Amir Pnueli.