Learning and Characterizing FOLAs

Published in ATVA, 2022

In this paper we characterize fully ordered lattice automata. Once the automata are characteized, a learning algorithm for the model is shown, based on L*.