arXiv (OAI Expanded)open access
Efficient Dynamic Shielding for Parametric Safety Specifications
artificial intelligence, machine learning, logic in computer science, robotics, systems and control
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗Related documents
Record · ID 627917
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.