Alternatives and similar repositories for UAV-Testing-Competition

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

• nickovic / rtamt
  Specification-based real-time monitoring library
  ☆69Updated last month
• decyphir / breach
  ☆62Updated last year
• sbft-cps-tool-competition / cps-tool-competition
  The repository hosts the code for the SBFT CPS Tool competition for testing autonomous cars.
  ☆16Updated last year
• MoonLightSuite / moonlight
  MoonLight: a light-weight framework for runtime monitoring.
  ☆18Updated last year
• mldiego / AcasXu
  Verification and simulation of an autonomous control system for unmanned aircraft
  ☆12Updated 3 years ago
• pmusau17 / rtreach_f1tenth
  real time reachability for the f1Tenth platform
  ☆11Updated 3 years ago
• sisl / HorizontalCAS
  ☆22Updated 4 years ago
• lis-epfl / swarmlab
  SmarmLab: a versatile Matlab package for drone swarm simulation.
  ☆283Updated 3 years ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆102Updated 2 years ago
• cpslab-asu / psy-taliro
  Search-based test generation toolbox written in Python
  ☆15Updated 2 months ago
• CrazyflieTHI / sim_cf2
  ROS2 Gazebo Flight Simulator for the Crazyflie. Based on sim_cf.
  ☆19Updated last year
• BlackJocker1995 / ICSearcher
  ☆21Updated 11 months ago
• BerkeleyLearnVerify / VerifAI
  VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learnin…
  ☆205Updated last week
• alessiogambi / AsFault
  Evolutionary test case generation for simulation testing of autonomous vehicles.
  ☆29Updated 3 years ago
• STLInspector / STLInspector
  Tool for STL specification validation
  ☆20Updated 6 years ago
• Software-Aurora-Lab / DoppelTest
  Artifact for our ADS testing approach published at ICSE 2023
  ☆23Updated 10 months ago
• f1tenth / f1tenth_gym_ros
  Containerized ROS communication bridge for F1TENTH gym environment.
  ☆252Updated 5 months ago
• hongjun9 / CPS_Invariant
  Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach
  ☆15Updated 5 years ago
• BerkeleyLearnVerify / Scenic
  A compiler and scenario generator for the Scenic scenario description language.
  ☆354Updated this week
• intelligent-control-lab / ModelVerification.jl
  ☆16Updated 5 months ago
• susmitjha / TeLEX
  Temporal Logic Extractor
  ☆11Updated 8 years ago
• malintha / multi_uav_simulator
  A drone swarm simulator based on ROS (Robot Operating System).
  ☆190Updated 6 months ago
• matssteinweg / Multi-Purpose-MPC
  Multi-Purpose MPC for Reference Path Tracking, Time-Optimal Driving and Obstacle Avoidance
  ☆326Updated 4 years ago
• f1tenth / f1tenth_gym
  This is the repository of the F1TENTH Gym environment.
  ☆216Updated last month
• ctu-mrs / mrs_uav_system
  The entry point to the MRS UAV system.
  ☆557Updated 3 weeks ago
• JacopoPan / px4-fw-aerobatics
  PX4 VTOL off-board control in ROS2 for autonomous agile flight
  ☆13Updated 4 months ago
• osrf / vrx
  Virtual RobotX (VRX) resources.
  ☆604Updated last week
• ssbse2021 / SPECTRE
  ☆10Updated 2 years ago
• AIasd / ADFuzz
  An open-source software package for fuzzing autonomous driving systems in high-fidelity simulators
  ☆34Updated 3 years ago
• hongjun9 / CPinconsistency
  Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles
  ☆10Updated 3 years ago