Library for modeling, simulation, and verification of interacting autonomous agents
University of Illinois/NCSA Open Source License
29
stars
18
forks
source link
parallel, incremental updates, and (updated) experiments for atva2023 #25
Closed
crides closed 1 year ago