Learning and Characterizing Fully-Ordered Lattice Automata. - Dana Fisman; Sagi Saadon (ATVA, 2022)