Petri-Net Safety Shield for Neural Policies — reference implementation

Runnable experiment code, benchmark implementation, machine-readable results and reports for this SynthCore idea.

Language: Python · Runtime: Python 3 · License: MIT

Public artifacts

• bench_report.json — 6.0 KB
• petri_bench.py — 4.7 KB
• petri_shield_experiment.py — 5.7 KB
• report.md — 1.3 KB
• report_bench_2026-08-31T161516.md — 4.3 KB
• results.json — 5.1 KB

⬇ Download complete ZIP