Alternatives and similar repositories for UAV-Testing-Competition

Users that are interested in UAV-Testing-Competition are comparing it to the libraries listed below

• sbft-cps-tool-competition / cps-tool-competition
  The repository hosts the code for the SBFT CPS Tool competition for testing autonomous cars.
  ☆16Updated 7 months ago
• alessiogambi / AsFault
  Evolutionary test case generation for simulation testing of autonomous vehicles.
  ☆29Updated 2 years ago
• decyphir / breach
  ☆56Updated last year
• nickovic / rtamt
  Specification-based real-time monitoring library
  ☆58Updated this week
• testingautomated-usi / deepjanus
  Tools and data of the paper "Model-based Exploration of the Frontier of Behaviours for Deep Learning System Testing"
  ☆15Updated 11 months ago
• testingautomated-usi / DeepHyperion
  ☆8Updated 2 years ago
• amirhosseinzlf / STARLA
  Search-based Testing Approach of Reinforcement Learning Agent
  ☆12Updated 7 months ago
• testingautomated-usi / selforacle
  The code of our paper "Misbehaviour Prediction for Autonomous Driving Systems", including our improved Udacity simulator
  ☆22Updated 3 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• susmitjha / TeLEX
  Temporal Logic Extractor
  ☆11Updated 8 years ago
• skhatiri / Aerialist
  ☆14Updated last month
• BlackJocker1995 / ICSearcher
  ☆20Updated 5 months ago
• ebadi / ScenarioGenerator
  ScenarioGenerator - Search-based Software Testing of Baidu Apollo in SVL
  ☆18Updated 3 years ago
• ZikangXiong / VRL_CodeReview
  [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning
  ☆13Updated 5 years ago
• mldiego / AcasXu
  Verification and simulation of an autonomous control system for unmanned aircraft
  ☆11Updated 3 years ago
• MoonLightSuite / moonlight
  MoonLight: a light-weight framework for runtime monitoring.
  ☆15Updated last year
• AIasd / ADFuzz
  An open-source software package for fuzzing autonomous driving systems in high-fidelity simulators
  ☆32Updated 2 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
• sisl / HorizontalCAS
  ☆21Updated 3 years ago
• transafeailab / nnv
  ☆10Updated 2 years ago
• cclinus / AV-Fuzzer
  ☆36Updated 4 years ago
• simplexity-lab / DeepCollision
  Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions
  ☆17Updated 2 years ago
• pmusau17 / rtreach_f1tenth
  real time reachability for the f1Tenth platform
  ☆11Updated 3 years ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆99Updated 2 years ago
• autonomy-and-verification-uol / ROSMonitoring
  ROSMonitoring: a Runtime Verification Framework for ROS
  ☆41Updated 4 months ago
• STLInspector / STLInspector
  Tool for STL specification validation
  ☆20Updated 5 years ago
• JmfanBU / ReachNNStar
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Updated 2 years ago
• ssbse2021 / SPECTRE
  ☆10Updated 2 years ago
• CrazyflieTHI / sim_cf2
  ROS2 Gazebo Flight Simulator for the Crazyflie. Based on sim_cf.
  ☆14Updated last year
• anand-bala / signal-temporal-logic
  A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
  ☆38Updated last year