search

AutoVerse-ai / Verse-library

Library for modeling, simulation, and verification of interacting autonomous agents
https://autoverse-ai.github.io/Verse-library/
University of Illinois/NCSA Open Source License
29 stars 18 forks source link

Simple sim #8

Closed lyg1597 closed 2 years ago

lyg1597 commented 2 years ago

Merging TACAS branch with simple simulation with tutorial.