Search Results for author: Aloysius K. Mok

Found 1 papers, 0 papers with code

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach

no code implementations13 Nov 2023 Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee

The integration of machine learning (ML) into cyber-physical systems (CPS) offers significant benefits, including enhanced efficiency, predictive capabilities, real-time responsiveness, and the enabling of autonomous operations.

Autonomous Vehicles

Cannot find the paper you are looking for? You can Submit a new open access paper.