Getting Started
===============

Install
-------

.. code-block:: bash

   uv venv
   uv pip install -e .

Run the first-to-fire reachability demo
---------------------------------------

.. code-block:: bash

   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
-----------------------------

.. code-block:: bash

   python experiments/ftf_mlp_benchmark.py

Results are written under ``experiments/outputs/``; the :doc:`results` page
browses a saved run.