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.
☆174Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for VerifAI
- A compiler and scenario generator for the Scenic scenario description language.☆286Updated this week
- Neural Network Verification Software Tool☆114Updated last month
- Specification-based real-time monitoring library☆50Updated 9 months ago
- Python library for working with Metric Temporal Logic (MTL)☆93Updated last year
- ☆36Updated 4 years ago
- Fault Injection for Autonomous Vehicles☆9Updated 5 years ago
- A toolbox for worst-case validation of autonomous policies☆35Updated last year
- ☆264Updated last month
- A Benchmark for Evaluating Autonomous Vehicles in Safety-critical Scenarios☆103Updated 9 months ago
- alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)☆246Updated 4 months ago
- Integration of AutoWare AV software with the CARLA simulator☆258Updated 5 months ago
- Evolutionary test case generation for simulation testing of autonomous vehicles.☆25Updated last year
- PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool☆43Updated 5 years ago
- Runtime Verification of Autonomous Driving Systems in CARLA☆27Updated 4 years ago
- ☆173Updated 4 years ago
- The repository hosts the code for the SBST CPS Tool competition for testing autonomous cars.☆20Updated 2 years ago
- ☆21Updated 2 years ago
- The repository hosts the code for the SBFT CPS Tool competition for testing autonomous cars.☆15Updated last week
- Repository to store different driving benchmarks that run on the CARLA simulator☆84Updated 4 years ago
- ☆101Updated 4 years ago
- Neural Network Enumeration Tool☆34Updated last year
- (CoRL 2019) Driving in CARLA using waypoint prediction and two-stage imitation learning☆309Updated 2 years ago
- ETH Robustness Analyzer for Deep Neural Networks☆322Updated last year
- Modular autonomous driving platform running on the CARLA simulator and real-world vehicles.☆472Updated last year
- Repository for the GRAIC synthesis competition☆23Updated last year
- Autonomously learning to race autonomously☆21Updated this week
- CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://git…☆16Updated 5 years ago
- The SUMMIT simulator☆165Updated 2 years ago
- ☆53Updated 5 months ago
- A pytorch implementation to train the conditional imitation learning policy in "Visual-based Autonomous Driving Deployment from a Stochas…☆66Updated 5 years ago