One of the purposes of this Wiki is the preservation of benchmarks used in automata learning and black-box publications. There have been a wide range of approaches to infer models of realistic systems or exemplified case studies. A non-exhaustive list of these is given below, grouped by different application areas. For every case, we provide a detailed description of the case study, experimental results and possible publications. For exemplified case studies an .xml file is given that represents the dummy SUT model.
A overview of case studies in which we learn real systems shows the advancements of learning in practice. In order to get an exhaustive list of a wide range of case studies, cooperation of everyone working on automata learning is needed. Therefore, please contribute by adding benchmarks and or case studies you have conducted on automata learning to share the results with this community.
Case studies: