$L^{\ast }LM$: Learning Automata from Examples using Natural Language Oracles

Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki +2

Expert demonstrations have proven an easy way to indirectly specify complex tasks. Recent algorithms even support extracting unambiguous formal specifications, e.g. deterministic f…