Getting Started

Install

uv venv
uv pip install -e .

Run the first-to-fire reachability demo

uv run python examples/ftf_star_rep_demo.py --samples 500 --epsilon 0.2 --show

This loads a trained first-to-fire LIF SNN regressor (the checkpoint path is set by --checkpoint, default checkpoints/snn_regressor_final.pth), constructs an input star, and prints the output reachability bounds computed by FTFStarRep.

Reproduce the benchmark table

python experiments/ftf_mlp_benchmark.py

Results are written under experiments/outputs/; the Benchmark Results page browses a saved run.