Alternatives and similar repositories for mosat

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

• MingfeiCheng / AV-Fuzzer-Reimplement
  Reimplementation of AV-FUZZER: Finding Safety Violations in Autonomous Driving Systems (2020 ISSRE)
  ☆22Updated 3 years ago
• simplexity-lab / DeepCollision
  Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions
  ☆17Updated 2 years ago
• Software-Aurora-Lab / DoppelTest
  Artifact for our ADS testing approach published at ICSE 2023
  ☆21Updated 3 months ago
• dk-kling / drivefuzz
  A feedback-driven fuzzing framework for testing autonomous driving systems (by Seulbae Kim)
  ☆18Updated 2 years ago
• MingfeiCheng / BehAVExplor
  BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems (ISSTA 2023)
  ☆26Updated last year
• AIasd / ADFuzz
  An open-source software package for fuzzing autonomous driving systems in high-fidelity simulators
  ☆32Updated 2 years ago
• cclinus / AV-Fuzzer
  ☆36Updated 4 years ago
• criscotesting / CRISCO
  ☆13Updated last month
• AIasd / FusED
  ☆12Updated 2 years ago
• seclab-fudan / SCTrans
  SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems
  ☆28Updated 2 weeks ago
• Software-Aurora-Lab / scenoRITA
  scenoRITA: Generating Diverse, Fully-Mutable, Safety-Critical and Motion Sickness-Inducing Scenarios for Autonomous Vehicles
  ☆25Updated 2 years ago
• DiaVio / diavio
  ☆9Updated last year
• MaisJamal / Carla_apollo_maps
  HD Apollo maps for Carla simulator towns. Town01 - Town02 - Town03 - Town04 - Town05
  ☆33Updated last year
• MingfeiCheng / DriveTester
  DriveTester: A Unified Platform for Simulation-Based Autonomous Driving Testing
  ☆25Updated 4 months ago
• MaisJamal / carla_apollo_bridge
  This project provides a bridge for communication between the autonomous driving platform Apollo and Carla simulator. Receiving data from …
  ☆61Updated last year
• lawbreaker2022 / LawBreaker-SourceCode
  ☆18Updated last year
• ssbse2021 / SPECTRE
  ☆10Updated 2 years ago
• autofuzz2020 / AutoFuzz
  ☆20Updated 2 years ago
• Simula-COMPLEX / DeepScenario
  DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing
  ☆33Updated last year
• YuqiHuai / SORA-SVL
  Local SVL Cloud
  ☆145Updated 3 months ago
• chenhengwei1999 / ISSPA
  Intelligent Self-driving System empowering Physical Agents (ISSPA)
  ☆14Updated 5 months ago
• t27 / carla-scenic-data-collector
  Collect scenario data from Carla using Scenic scenarios. Data available at the below link. Please feel free to raise a github issue for a…
  ☆13Updated 3 years ago
• ebadi / ScenarioGenerator
  ScenarioGenerator - Search-based Software Testing of Baidu Apollo in SVL
  ☆18Updated 3 years ago
• casper-auto / carla-apollo
  Integration of Apollo AV software with the CARLA simulator
  ☆66Updated 2 years ago
• emocat / VioHawk
  VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-guided Simulation Testing
  ☆11Updated 10 months ago
• AuroAi / carla_apollo_bridge
  ☆173Updated 4 years ago
• TriHuynh00 / AC3R-Demo
  Automatic Crash Constructor from Crash Report (A3CR) Demo of constructing simulations from crash reports
  ☆13Updated 2 years ago
• yizhiweimengxiangfendoudefeifei / apollo_carla_bridge
  A simulation between apollo and carla.
  ☆20Updated 2 years ago
• ZATiTech / autoware.universe.openplanner
  Autoware - the world's leading open-source software project for autonomous driving + Latest OpenPlanner
  ☆29Updated 2 years ago
• alessiogambi / AsFault
  Evolutionary test case generation for simulation testing of autonomous vehicles.
  ☆29Updated 2 years ago