Large Language Models as Falsifiers for Cyber-Physical Systems.

arXiv:2609.20752v1 Announce Type: cross Abstract: Falsification searches for counterexamples to formal specifications in cyber-physical systems (CPS). With specifications written in Signal Temporal Logic (STL), falsification can be formulated as a robustness o