issues
search
BerkeleyLearnVerify
/
VerifAI
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
BSD 3-Clause "New" or "Revised" License
170
stars
47
forks
source link
Branch 3 31
#21
Closed
trevor-wu
closed
2 years ago
trevor-wu
commented
3 years ago
Made it so controller returns only var_label_map = {'lat': lat, 'lon': lon, 'psis': psi, 'cte': cte, 'he' : heading_err}
Append var_label_map to var_maps (new list)
Generalized predicate function so that it can take in any var_label_map
Refactored creation of simulation_data dictionary code
Moved "stuck checker" to its own function so that no parameters are indexed in run_simulation function @torfah
dfremont
commented
2 years ago
Closing with #17 for now.