Dynamic scenic example - Githubissues

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

Dynamic scenic example #36

Closed ek65 closed 2 years ago

ek65 commented 2 years ago

all examples working, newtonian example tested with the current scenic master branch installed locally