Yiheng Tang, M.Sc.

Yiheng Tang, M.Sc.


Research Interests

  • Supervisory Control Theory
  • Verification and temporal logic
  • Formal specification in automated manufacturing

Biography

Open theses

There are no open works available at the moment

Current and completed theses