Sandyuri / -SafeGuide

Why you might care

Splits the system into three independent parts: an LSG semantic gate that outputs AUTHORIZE/DEFER/REJECT, a RoboGuard planner with risk-constrained A*, Pareto, and D* Lite replanning, and the SPINE planning framework. RoboGuard re-validates every authorized task locally before execution and includes LTLf temporal checks and a 120-scenario benchmark. Targets researchers working on safe robot navigation in hospitals; the README is in Chinese and requires downloading Qwen3 base models separately.