Control over output formats and files

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

Control over output formats and files #28

Open sayanmitracode opened 1 year ago

sayanmitracode commented 1 year ago

Options to create outputs at different levels of verbosity. Storing the outputs (reachtubes, safe/unsafe results, counter-examples, plots) at appropriate places. Documentation for the same.