Simon Dierl

SLλ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${SL}^{\lambda }$$\end{document}: A Scalable Algorithm for Register

This article implements an effective and scalable register automata (RA) learning algorithm that significantly reduces the number of membership queries required for inferring models by up to an order of magnitude and achieves this by combining a tree-based cost-efficient data structure with mechanisms for computing sho...