STL-Robust Policy Synthesis / reference implementation
Mechanism confirmed, baseline not beaten
STL-Robust Policy Synthesis — 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— 2.8 KBbench_stl_transfer.py— 6.0 KBreport.md— 1.6 KBreport_bench_2026-09-01T014851.md— 5.1 KBresults.json— 6.9 KBrun_registered_bench.py— 5.0 KBstl_experiment.py— 5.8 KB