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

Tutorial #9

Closed lyg1597 closed 1 year ago

lyg1597 commented 1 year ago

Merging TACAS's work + tutorial to main.