daichikahtava/safe-rl

This repository explores learning and enforcing temporal safety rules for a colour-bomb grid-world agent. The workflow samples labelled traces, learns or selects an LTLf rule, converts it to a safety DFA, and trains PPO behind a probabilistic shield; active learning also detects counterexamples for iterative repair. Separate capabilities include random, oracle-guided, and formula-constrained trace generation, baseline training, and evaluation/plotting. The sampled files establish the main training and sampling links; evaluation modules and some sampler variants are represented from the tree and index, so their internal connections are not inferred.