This artifact provides the implementation of the NL* learning algorithm as described in the paper "Angluin-Style Learning of NFA" (http://ijcai.org/Proceedings/09/Papers/170.pdf) by Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker.

LicenseApache 2.0
DateFeb 06, 2020
Filespom (2 KB)  jar (15 KB)  View All
RepositoriesCentralSpring PluginsXillio
Ranking#266690 in MvnRepository (See Top Artifacts)
Used By1 artifacts
VulnerabilitiesVulnerabilities from dependencies:
CVE-2022-4065

Note: There is a new version for this artifact

New Version0.17.0


Compile Dependencies (6)

Provided Dependencies (1)

Category/License Group / ArtifactVersionUpdates

Apache 2.0
com.github.misberner.buildergen » buildergen 0.1

Test Dependencies (3)

Licenses

LicenseURL
Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt

Developers

NameEmailDev IdRolesOrganization
Markus Frohmemarkus.frohme<at>udo.edumtf90Developer, MaintainerTU Dortmund, Chair for Programming Systems
Falk Howarfalk.howar<at>gmail.comfalkhowarDeveloperTU Dortmund, Chair for Software Engineering
Malte Isbernermalte.isberner<at>gmail.commisbernerDeveloper (inactive)