Alternatives and similar repositories for VerifAI:

Users that are interested in VerifAI are comparing it to the libraries listed below

• BerkeleyLearnVerify / Scenic
  A compiler and scenario generator for the Scenic scenario description language.
  ☆314Updated last week
• cclinus / AV-Fuzzer
  ☆36Updated 4 years ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆96Updated 2 years ago
• alessiogambi / AsFault
  Evolutionary test case generation for simulation testing of autonomous vehicles.
  ☆27Updated 2 years ago
• sisl / AdaptiveStressTestingToolbox
  A toolbox for worst-case validation of autonomous policies
  ☆35Updated 2 years ago
• ezapridou / carla-acc
  Runtime Verification of Autonomous Driving Systems in CARLA
  ☆27Updated 4 years ago
• CSLDepend / AVFI
  Fault Injection for Autonomous Vehicles
  ☆9Updated 5 years ago
• sbft-cps-tool-competition / cps-tool-competition
  The repository hosts the code for the SBFT CPS Tool competition for testing autonomous cars.
  ☆16Updated 4 months ago
• xz-group / AdverseDrive
  Attacking Vision based Perception in End-to-end Autonomous Driving Models
  ☆32Updated 2 years ago
• trust-ai / SafeBench
  A Benchmark for Evaluating Autonomous Vehicles in Safety-critical Scenarios
  ☆113Updated last year
• verivital / nnv
  Neural Network Verification Software Tool
  ☆122Updated last month
• tech-rules / DAVE2-Keras
  Implementation of Nvidia's DAVE2 NN in Keras, with some enhancements
  ☆23Updated 8 years ago
• se2p / tool-competition-av
  The repository hosts the code for the SBST CPS Tool competition for testing autonomous cars.
  ☆20Updated 2 years ago
• AuroAi / carla_apollo_bridge
  ☆172Updated 4 years ago
• ARiSE-Lab / deepTest
  A systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles
  ☆81Updated 6 years ago
• autofuzz2020 / AutoFuzz
  ☆20Updated 2 years ago
• nickovic / rtamt
  Specification-based real-time monitoring library
  ☆56Updated last month
• TriHuynh00 / AC3R-Demo
  Automatic Crash Constructor from Crash Report (A3CR) Demo of constructing simulations from crash reports
  ☆12Updated last year
• Software-Aurora-Lab / DoppelTest
  Artifact for our ADS testing approach published at ICSE 2023
  ☆21Updated last month
• carla-simulator / carla-autoware
  Integration of AutoWare AV software with the CARLA simulator
  ☆268Updated 9 months ago
• AIasd / ADFuzz
  An open-source software package for fuzzing autonomous driving systems in high-fidelity simulators
  ☆32Updated 2 years ago
• erdos-project / pylot
  Modular autonomous driving platform running on the CARLA simulator and real-world vehicles.
  ☆490Updated 2 years ago
• AdaCompNUS / summit
  The SUMMIT simulator
  ☆169Updated 2 years ago
• Simula-COMPLEX / DeepScenario
  DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing
  ☆31Updated last year
• amansinha / trustworthysearch-demo
  Demo of the TrustworthySearch API
  ☆19Updated 3 years ago
• carla-simulator / driving-benchmarks
  Repository to store different driving benchmarks that run on the CARLA simulator
  ☆86Updated 5 years ago
• lgsvl / PythonAPI
  Python API for Simulator
  ☆59Updated 3 years ago
• sisl / NNet
  Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-c…
  ☆40Updated this week
• wuhanstudio / adversarial-driving
  Adversarial Driving v.s. Autonomous Driving.
  ☆20Updated last year
• decyphir / breach
  ☆56Updated 10 months ago