activity
20142024
most citedMinimum Risk Training for Neural Machine Translation

43 citations · 141 across the 7 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2024★ 29 cited

Formalizing UML State Machines for Automated Verification -- A Survey

Étienne André, Shuang Liu, Yang Liu +3

The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs.…