BerkeleyLearnVerify

Popular repositories Loading

1. VerifAI VerifAI Public

   VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

   Python 219 56

2. ScenicRules ScenicRules Public

   A benchmark to evaluate autonomous driving systems with respect to scenarios specified in the Scenic language and multi-objective, prioritized metrics and specifications as a Rulebook.

   Jupyter Notebook 9 4

3. Scenic4RL Scenic4RL Public

   Scenic for RL Interface

   Jupyter Notebook 4

4. CPSGrader CPSGrader Public

   HTML 3 1

5. p-secure p-secure Public

   Jupyter Notebook 3

6. rednercounterexamplegenerator rednercounterexamplegenerator Public

   Python 2