Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations
Published in FMCAD, 2022
Recommended citation: N. Lauffer*, B. Yalcinkaya*, M. Vazquez-Chanlatte, A Shah, and S. Seshia. FMCAD 2022. /files/dfa2022.pdf
Niklas Lauffer
I'm an EECS PhD student at UC Berkeley interested in reasearch at the intersection of learning, formal methods, and game theory.
- Berkeley, California
- Github
- Google Scholar
- ORCID