Topic

Safety & evaluation

Does it fail safely, and how would we know? Verification, red-teaming, and honest metrics.

arXiv query: cat:cs.RO AND (abs:"safety-critical" OR abs:"safe control" OR abs:"formal verification" OR abs:"failure detection" OR abs:"control barrier")

Presented at reading clubs

These already have a slide kit, so they are the fastest ones to pick up and present.

Recent work

534 papers in this corpus carry the safety & evaluation tag. How tagging works.