( en | de | ru )

 

Disambiguation of "Wu, Changshun"

Author of the publication

copydeleteadd this publication to your clipboard
Bridging formal methods and machine learning with model checking and global optimisation.

, , , , , and . J. Log. Algebraic Methods Program., (February 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jinglan Wu

Recovery of citric acid from fermentation broth using simulated moving bed technology: = Reinigung von Zitronensäure aus Fermentationslösung durch kontinuierliche Chromatographie. Uni Erlangen-Nürnberg, (2009)

Jinjin Wu

Haiyan Wu

Changzhu Wu

Yinghua Wu

 

Other publications of authors with the same name

Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes., , and . CoRR, (2021)Bridging formal methods and machine learning with model checking and global optimisation., , , , , and . J. Log. Algebraic Methods Program., (February 2024)What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems., , , , , and . AISoLA, volume 14380 of Lecture Notes in Computer Science, page 55-76. Springer, (2023)Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes., , and . RV, volume 14245 of Lecture Notes in Computer Science, page 23-41. Springer, (2023)A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation., , , , , , , , , and 7 other author(s). CoRR, (2023)DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks., , , and . AITest, page 64-71. IEEE, (2022)Towards Rigorous Design of OoD Detectors., , , and . CoRR, (2023)Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems., , , , , , , , , and 11 other author(s). AISoLA, volume 14380 of Lecture Notes in Computer Science, page 256-278. Springer, (2023)A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle., , , , , , , , and . PoEM Companion, volume 3645 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets., , and . CoDIT, page 51-57. IEEE, (2018)