Skip to content

@BerkeleyLearnVerify BerkeleyLearnVerify

Change the repository type filter

All

    Repositories list

    18 repositories

    • Scenic

      Public
      A compiler and scenario generator for the Scenic scenario description language.
      Python
      •
      Other
      •150•375•20•32•Updated Jul 17, 2026Jul 17, 2026

    • 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
      •
      BSD 3-Clause "New" or "Revised" License
      •58•216•12•2•Updated Jul 5, 2026Jul 5, 2026

    • Scenic_Website

      Public
      Website for the Scenic Open Source Project
      HTML
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jun 29, 2026Jun 29, 2026

    • ScenicRules

      Public
      A benchmark to evaluate autonomous driving systems with respect to scenarios specified in the Scenic language and multi-objective, prioritized metrics and speci…
      Jupyter Notebook
      •
      BSD 3-Clause "New" or "Revised" License
      •4•8•2•0•Updated Jun 21, 2026Jun 21, 2026

    • compositional-analysis

      Public
      Makefile
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Aug 5, 2023Aug 5, 2023

    • BryantFLoC22

      Public
      HTML
      •0•0•0•0•Updated Jan 18, 2023Jan 18, 2023

    • HSCC_2020

      Public
      Source code for the HSCC 2020 website.
      HTML
      •1•0•0•0•Updated Jan 15, 2023Jan 15, 2023

    • ULGEN

      Public
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Dec 1, 2022Dec 1, 2022

    • rednercounterexamplegenerator

      Public
      Python
      •0•2•0•3•Updated Nov 22, 2022Nov 22, 2022

    • Scenic4RL

      Public
      Scenic for RL Interface
      Jupyter Notebook
      •0•4•0•0•Updated May 20, 2022May 20, 2022

    • VerifiedAIWebsite

      Public
      HTML
      •1•0•0•0•Updated Apr 7, 2021Apr 7, 2021

    • p-secure

      Public
      Jupyter Notebook
      •
      MIT License
      •0•3•0•0•Updated Mar 28, 2021Mar 28, 2021

    • AlgoImprov

      Public
      HTML
      •0•0•0•0•Updated Jan 13, 2021Jan 13, 2021

    • LOGiCS_Website

      Public
      HTML
      •0•0•0•0•Updated Dec 17, 2020Dec 17, 2020

    • CPSGrader

      Public
      HTML
      •1•3•0•0•Updated Dec 8, 2020Dec 8, 2020

    • ITSC20

      Public
      0•0•1•0•Updated Jul 1, 2020Jul 1, 2020

    • Scenic_Gazebo

      Public
      1•0•0•1•Updated Feb 20, 2020Feb 20, 2020

    • GameTime

      Public
      HTML
      •0•1•0•0•Updated Sep 4, 2017Sep 4, 2017
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.