LLM-based approach for falsifying cyber-physical systems
For those working on safety-critical systems, this research provides a new approach to verifying system specifications, potentially improving the efficiency of safety testing.
For those working on safety-critical systems, this research provides a new approach to verifying system specifications, potentially improving the efficiency of safety testing.