saseshia

Pinned Repositories

• learningcrossproducts

  learning cartesian products of learnable sets

  Language:TeX0100

• AlgoImprov

  Language:HTML0300

• BryantFLoC22

  Language:HTML0200

• compositional-analysis

  Language:Makefile0100

• CPSGrader

  Language:HTML2301

• HSCC_2020

  Source code for the HSCC 2020 website.

  Language:HTML0201

• Scenic

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

  Language:Python258176993

• VerifAI

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

  Language:Python169142147

• uclid

  UCLID5: formal modeling, verification, and synthesis of computational systems

  Language:Scala135146232

• uclid5-ssft22

  Language:Python2601

saseshia's Repositories