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

Statistical Model Checking

technology1 mentionslast seen Oct 5, 2026

Verification technique integrated with Evolution Strategy for safety verification of neural policies.

Relationships 1

Statistical Model Checking

Relationship

curriculum learningdepends onStatistical Model Checking

90% confidence1 supporting mentions

Either name opens that entity’s relationships.

Sources 1