Automaton Model Updating Based on the L* Algorithm. - Huimin Zhang; Yi Shi 014; Feng Yu 006 (ICCDA, 2023)

Supervisor Synthesis for Multi-Agent Systems With Mutually Exclusive Resources. - Huimin Zhang; Yi Shi 014; Wu Xie (IEEE Access, 2023)