已发表成果:
WOK 论文 11 篇;
Initial-state detectability and initial-state opacity of unambiguous weighted automata
Observer Construction for Polynomially Ambiguous Max-Plus Automata