Wenjing Chu
PhD candidate/ Guest
- Name
- W. Chu MSc
- Telephone
- +31 71 527 2727
- w.chu@liacs.leidenuniv.nl
PhD candidate/ Guest
- Science
- Leiden Inst of Advanced Computer Science
- Chu W., Chen S. & Bonsangue M.M. (2022), Non-linear optimization methods for learning regular distributions. Riesco A. & Zhang M. (Eds.), Formal methods and software engineering. 23rd International Conference on Formal Engineering Methods, ICFEM 2022 24 October 2022 - 27 October 2022 no. 13478. Cham: Springer. 54-70.
- Chu W., Chen S. & Bonsangue M.M. (2021), Learning probabilistic automata using residuals. Cerone A. & Olveczky P.C. (Eds.), Proceedings of the 18th International Colloquium Theoretical Aspects of Computing - {ICTAC} 2021 - , Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021. International Colloquium on Theoretical Aspects of Computing ICTAC 2021 8 September 2021 - 10 September 2021 no. Lecture Notes in Computer Science. Cham: Springer. 295-313.
- Chu W. & Bonsangue M.M. (2021), Learning probabilistic languages by k-testable machines. Aoki T. & Li Q. (Eds.), Proceedings international symposium on theoretical aspects of software engineering (TASE). International Symposium on Theoretical Aspects of Software Engineering (TASE) 11 December 2020 - 13 December 2020: IEEE. 129-136.