Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations

Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia