Unsupervised Automata Learning via Discrete Optimization

Simon Lutz, Daniil Kaminskyi, Florian Wittbold +5

Automata learning is a successful tool for many application domains such as robotics and automatic verification. Typically, automata learning techniques operate in a supervised lea…