Python library used to safely control drone swarms and drone fleets with MAVLink
A curated paper list for Vision-Language-Action (VLA) safety, accompanying our survey "Safety of Vision-Language-Action Models: A Survey from Lifecycle Perspectives".
Dynamic energy budgeting and behavioural shaping along complex task execution in robotics using reinforcement learning,
Formally verified edge execution hypervisor. A native C++ middleware layer bridging probabilistic LLM inference and deterministic mathematical safety using JNI, Vulkan, and the Z3 SMT solver for critical hardware systems.
Local-first event provenance, exactly-once awareness, and motor safety primitives for embodied AI agents
Typed mission contracts and fail-closed safety gates for UAV language interfaces.
To associate your repository with the robotics-safety topic, visit your repo's landing page and select "manage topics."