Formal Verification

Advanced

Mathematical guarantees of system behavior.

Full Definition

Mathematical guarantees of system behavior.

Keywords

provable safety

Domains

Agents & Autonomy

Related Terms

Cooperative Game related to

Agents optimize collective outcomes.

 Competitive Game related to

Agents have opposing objectives.

 Mixed-Motive Game related to

Combination of cooperation and competition.

 Nash Equilibrium related to

No agent benefits from unilateral deviation.

 Morphological Computation related to

Physical form contributes to computation.

 Developmental Robotics related to

Robots learning via exploration and growth.

 Lifelong Learning related to

Learning without catastrophic forgetting.

 Safety-Critical System related to

Systems where failure causes physical harm.

Concept Map

See how Formal Verification connects to other concepts.

Open Knowledge Graph