3 lines
294 B
Markdown
3 lines
294 B
Markdown
# guardrail-space-verifiable-safety-contra
|
|
|
|
A lightweight, open-source safety framework to govern onboard AGI planners for space robotics (rovers, habitats, small satellites). It introduces a contract-based safety layer with (1) Safety Contracts defining pre/post conditions, budgets, and colli |