Automated Alphabet Abstraction-Refinement

Automated Alphabet Abstraction-Refinement

Comments are closed for this post.

Version	Docs
0.16.0 Oct 12, 2020	API
0.15.0 Feb 6, 2020	API
0.14.0 Feb 18, 2019	API

Also take a look at the downloads page for the binaries of the different LearnLib versions. Related links

Introduction

.BIB
BibTeX

.ENW
Endnote

.RIS
Reference Manager
- Introduction to Active Automata Learning
Tool

.BIB
BibTeX

.ENW
Endnote

.RIS
Reference Manager
- The Open-Source LearnLib - A Framework for Active Automata Learning
Treatment of data

.BIB
BibTeX

.ENW
Endnote

.RIS
Reference Manager
- Learning register automata: from languages to program structures
- Active Learning of Extended Finite State Machines
- Inferring Automata with State-Local Alphabet Abstractions