Lutz, Robyn R.
- CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
2024/07/18 by Usman Gohar, Gohar, Usman, Michael C. Hunter +5 · 3 citations
Computer Science · Decision Sciences · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Risk and Safety Analysis #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research