Add a code path for stars

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

Add a code path for stars #38

Closed braught2 closed 1 month ago

braught2 commented 1 month ago

This codes add a pathway to use stars in the verify function. Stars can be used by setting then in the scenario reachability method, scenario.config.reachability_method = ReachabilityMethod.STAR_SETS