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