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

  •18•30•5•0•Updated Dec 28, 2024Dec 28, 2024

• NeuReach

  Public
  Python

  •

  University of Illinois/NCSA Open Source License

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