conftrace_

system validation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

human interpretability (1) signal temporal logic (1) formal specification (1) active learning (1)

Papers

STL: Still Tricky Logic (for System Validation, Even When Showing Your Work) NeurIPS 2024