Repositories list

• Verse-library

  Public
  Library for modeling, simulation, and verification of interacting autonomous agents

  aiverificationscenarios+ 3vehiclesformalautonomy

  Jupyter Notebook

  •

  University of Illinois/NCSA Open Source License

  •20•33•5•0•Updated Aug 10, 2025Aug 10, 2025

• NeuReach

  Public
  Python

  •

  University of Illinois/NCSA Open Source License

  •2•0•0•0•Updated Nov 15, 2022Nov 15, 2022