conftrace_

formal safety guarantee

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

robotic system (1) robot policy (1) robotic language grounding (1) closed-form model (1) barrier (1) incremental scaling (1) safe control policies (1) symbolic representation (1) language embedding (1) formal verification (1)

Papers

ABNet: Adaptive explicit-Barrier Net for Safe and Scalable Robot Learning ICML 2025 A Survey of Robotic Language Grounding: Tradeoffs between Symbols and Embeddings IJCAI 2024