Self-evolving runtime infrastructure for Physical AI and embodied agents. Ground AI agents into robot bodies with e-URDF, sandbox safety, capability routing, praxis capture, physical memory, runtime intervention, and skill evolution.

Implementation of SHARP: Shielding-Aware Robust Planning for Safe and Efficient Human-Robot Interaction - RAL 2022

Synthesis of control barrier functions with SOS

ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems

A next-gen ESP32-C3 daemon for real-time robot monitoring, safety control, and ROS2 integration.

Synthesizing safe robot policies in joint physical-belief spaces with deep RL! - CoRL 2023

Deterministic safety gate between LLM planners and Nav2: footprint, continuity, and map-bounds checks before anything reaches a controller. Caught 35/35 unsafe qwen2.5-7B trajectories, zero misses, zero false positives - prompts, raw outputs, and evaluator committed and replayed in CI.

Formal adversarial testing of LLM-generated industrial robot (URScript) code: ISO 10218-1:2025 safety + CWE security analysis, AST static watchdog, URSim runtime. Simulation-only.

Open-source evidence layer for robots. ROS 2 incident recording, signed manifests, MCAP export, and safe replay.

Real-time robot collision detection using supervised learning methods

ForeForce mmWave cobot safety system for IWR6843AOP and IWRL6432AOP

Curated standards, runtime controls, assurance methods, and evaluation resources for governing embodied and physical AI.

Stage-aware engineering workflow for ROS competition robots

Safety-aware ROS 2–Unity digital twin with deterministic command supervision, lidar fault injection, and verified Gazebo integration.

Control-barrier safety projection for learned robot motion policies.

A ROS Noetic package for sensor-based collision prevention in mobile robots. Supports both 2D (STDR) and 3D (Gazebo) simulations with configurable safety layers to stop or adjust motion before impact.

ROS-based collision prediction system for TIAGo robot manipulation, using Python perception and trajectory analysis to anticipate contact risks and improve safe autonomous operation.

Robot incident evidence validation and reconstruction CLI

Policy Library CBF: A runtime safety filter based on parallel rollouts of multiple fallback policies with a computation overhead of < 10 ms.

Deterministic certification platform — kernel + N domain packs (4th of the -stra family; the first platform emitted by the HELIX Condense recipe from the robotics/release cluster)