Large Language Models as Falsifiers for Cyber-Physical Systems

Ali ArjomandBigdeli, Jiawei Zhou, Stanley Bak

Falsification searches for counterexamples to formal specifications in cyber-physical systems (CPS). With specifications written in Signal Temporal Logic (STL), falsification can b…