conftrace_

design specification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

safe behavior (1) trustworthy machine learning (1) false positive rate (1) formal verification (1) model safety (1)

Papers

Data-Driven Discovery of Design Specifications (Student Abstract) AAAI 2024