A framework for active automata learning and experimentation
💡
Newer Version Available

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

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)
Stephan Windmüllerstephan.windmueller<at>tu-dortmund.destovocorDeveloper (inactive)
Maik Mertenmaikmerten<at>googlemail.commertenDeveloper (inactive)
Oliver Baueroliver.bauer<at>tu-dortmund.deoliverbauer8Developer (inactive)

Mailing Lists

NameActions
Q&A List learnlib-qa+subscribe@googlegroups.com · learnlib-qa+unsubscribe@googlegroups.com
Discussion List learnlib-discussion+subscribe@googlegroups.com · learnlib-discussion+unsubscribe@googlegroups.com
Developers List learnlib-internal+subscribe@googlegroups.com · learnlib-internal+unsubscribe@googlegroups.com