tera.ai

Knowledge Graph

Graph explorer

Search resolved entities, walk their edges, and read the sentence behind every one.

Entities25 of 207,987

All entities

Entity

reachability-based safety certificate

technology1 mentionslast seen Oct 1, 2026

Value function derived from backward reachability to certify safety of dynamical system motion policies.

Relationships 3

Sources

Select a relationship to read the sources behind it.