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

backward reach-avoid tube

technology1 mentionslast seen Oct 28, 2026

A safety certificate combining reachability and reach-avoidance objectives.

Relationships 1

backward reach-avoid tube

Relationship

neural reachabilitydepends onbackward reach-avoid tube

93% confidence1 supporting mentions

Either name opens that entity’s relationships.

Sources 1