GitHub repository: mforets/LGG
Primary language: Jupyter Notebook
Description: A reachability analysis algorithm for linear non-deterministic systems, implemented in SageMath.