BerkeleyLearnVerify

Popular repositories Loading

1. Scenic ScenicPublic

   A compiler and scenario generator for the Scenic scenario description language.

   Python 376 153

2. VerifAI VerifAIPublic

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

   Python 218 58

3. ScenicRules ScenicRulesPublic

   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 8 4

4. Scenic4RL Scenic4RLPublic

   Scenic for RL Interface

   Jupyter Notebook 4

5. CPSGrader CPSGraderPublic

   HTML 3 1

6. p-secure p-securePublic

   Jupyter Notebook 3