Finite automata with undirected state graphs

Martin Kutrib, Andreas Malcher, Christian Schneider. Finite automata with undirected state graphs. Acta Informatica, 59(1):163-181, 2022. [doi]

Abstract

Abstract is missing.