Aloysius K. Mok

1. Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
   2023/11/13 by Xi Zheng, Aloysius K. Mok, Zheng, Xi +13 · 1 citation
   Engineering · Computer Science · #Safety Systems Engineering in Autonomy #Adversarial Robustness in Machine Learning #Software Reliability and Analysis Research