Large Language Models as Falsifiers for Cyber-Physical Systems
LLM-Falsifier uses large language models with semantic prompting to minimize STL robustness and find counterexamples in cyber-physical systems more efficiently.
1 stories, newest first · one card per story
LLM-Falsifier uses large language models with semantic prompting to minimize STL robustness and find counterexamples in cyber-physical systems more efficiently.
Today 1.6K readers · 2.4K views · 774 reads · all time 189K views