Published February 24, 2025 | Version OOPSLA-2025-AEC-final
Software Open

Adaptive Shielding via Parametric Safety Proofs

Authors/Creators

  • 1. ROR icon Tsinghua University
  • 2. ROR icon Karlsruhe Institute of Technology
  • 3. ROR icon Carnegie Mellon University

Files

adaptive_shielding.zip

Files (14.5 MB)

Name Size Download all
md5:2c69b76ed51d2d4baa732e487b7cf29e
14.5 MB Preview Download

Additional details

Software

Programming language
Python