Alternatives and similar repositories for cps-tool-competition

Users that are interested in cps-tool-competition are comparing it to the libraries listed below

• se2p / tool-competition-av

  View on GitHub
  The repository hosts the code for the SBST CPS Tool competition for testing autonomous cars.
  ☆21Nov 4, 2022Updated 3 years ago
• dlfaults / deepcrime

  View on GitHub
  DeepCrime - Mutation Testing Tool for Deep Learning Systems
  ☆16Sep 23, 2023Updated 2 years ago
• tech-rules / DAVE2-Keras

  View on GitHub
  Implementation of Nvidia's DAVE2 NN in Keras, with some enhancements
  ☆25Jan 12, 2017Updated 9 years ago
• Simula-COMPLEX / DeepScenario

  View on GitHub
  DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing
  ☆39Jan 26, 2024Updated 2 years ago
• BeamNG / impactgen

  View on GitHub
  Python script and Lua extension using BeamNG.tech to generate low impact crash scenarios and ground truth data for imitation learning.
  ☆19Apr 10, 2025Updated 10 months ago
• runtimeverification / rv-monitor

  View on GitHub
  RV-Monitor core system code
  ☆16Apr 26, 2021Updated 4 years ago
• daohu527 / apollo_map

  View on GitHub
  map use to carla and apollo simulation
  ☆23Jun 9, 2024Updated last year
• christianbirchler-org / sdc-scissor

  View on GitHub
  A tool for predicting unsafe road scenarios for self-driving cars in BeamNG.tech.
  ☆25Jul 30, 2024Updated last year
• testingautomated-usi / selforacle

  View on GitHub
  The code of our paper "Misbehaviour Prediction for Autonomous Driving Systems", including our improved Udacity simulator
  ☆21Jun 30, 2021Updated 4 years ago
• xiaoshi-hd / Road-Curve-Calculation

  View on GitHub
  辛卜生算法实现的道路曲线计算，可以计算圆曲线，对称的缓和曲线和不对称的缓和曲线
  ☆12Apr 10, 2019Updated 6 years ago
• yagol2020 / SimADFuzz

  View on GitHub
  SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems
  ☆10Apr 11, 2025Updated 10 months ago
• WebFuzzing / Dataset

  View on GitHub
  Web Fuzzing Dataset (WFD): a set of web/enterprise applications for experimentation in automated system testing
  ☆42Jan 31, 2026Updated 2 weeks ago
• testingautomated-usi / uncertainty-wizard

  View on GitHub
  Uncertainty-Wizard is a plugin on top of tensorflow.keras, allowing to easily and efficiently create uncertainty-aware deep neural networ…
  ☆44May 24, 2023Updated 2 years ago
• havelund / tracecontract

  View on GitHub
  A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…
  ☆11Dec 21, 2020Updated 5 years ago
• ccomrade / conntop

  View on GitHub
  A tool for real-time network traffic monitoring
  ☆13Mar 10, 2022Updated 3 years ago
• puripuri2100 / exdesign

  View on GitHub
  A class file easy to customize with SATySFi
  ☆11May 22, 2021Updated 4 years ago
• midudu / CubicBezierCurve2Arcs

  View on GitHub
  Convert a cubic bezier curve to a series of arcs
  ☆10Sep 3, 2018Updated 7 years ago
• yoichi1484 / subspace

  View on GitHub
  An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)
  ☆10May 31, 2024Updated last year
• mitre-cyber-academy / mitre-cyber-academy.github.io

  View on GitHub
  Repository for hosting the MITRE Cyber Academy website.
  ☆11Apr 12, 2023Updated 2 years ago
• cherrol / wsl2-development

  View on GitHub
  windows开发环境构建：wls2、docker、git、ssr
  ☆12Jan 14, 2026Updated last month
• Zhang-Yihao / Transfomer2DFA

  View on GitHub
  Implementation for paper Automata Extraction from Transformers.
  ☆11Jun 8, 2024Updated last year
• akicho8 / shogi-mode

  View on GitHub
  将棋の棋譜ファイルの構文に色を付けるEmacs用のモード
  ☆12Jan 28, 2024Updated 2 years ago
• xuchunyang / one.el

  View on GitHub
  Take a peek at HN/知乎日报/V2EX/SBBS within Emacs
  ☆13Jun 7, 2015Updated 10 years ago
• dsiroky / dsml

  View on GitHub
  C++ state machine library
  ☆11Apr 19, 2025Updated 9 months ago
• amirhosseinzlf / STARLA

  View on GitHub
  Search-based Testing Approach of Reinforcement Learning Agent
  ☆14Nov 25, 2024Updated last year
• trusted-programming / cargo-aspect

  View on GitHub
  Aspect-oriented programming in Rust
  ☆13Nov 1, 2021Updated 4 years ago
• cpslab-asu / psy-taliro

  View on GitHub
  Search-based test generation toolbox written in Python
  ☆16Oct 27, 2025Updated 3 months ago
• tokieng / adrsirlib

  View on GitHub
  ADRSIR(ビットトレードワン製赤外線送受信機) 用のライブラリ
  ☆15Aug 23, 2020Updated 5 years ago
• moji1 / tp_rl

  View on GitHub
  ☆14Nov 1, 2021Updated 4 years ago
• omursahin / project_system

  View on GitHub
  ☆12Jun 9, 2023Updated 2 years ago
• hortovanyi / udacity-vehicle-detection-project

  View on GitHub
  ☆10Feb 24, 2017Updated 8 years ago
• pravin / hugo-theme-prav

  View on GitHub
  Custom theme for gohugo static site generator
  ☆14Feb 27, 2025Updated 11 months ago
• uchicago-cs / plrg

  View on GitHub
  PL Reading Group Website
  ☆14Jan 12, 2026Updated last month
• ijon-afl / ijon-data

  View on GitHub
  experiments for IJON
  ☆12Jul 1, 2019Updated 6 years ago
• digitalbond / scripts

  View on GitHub
  Miscellaneous scripts for analyzing protocols and systems
  ☆14Jun 24, 2016Updated 9 years ago
• MasWag / pandoc-satysfi-template

  View on GitHub
  A pandoc custom writer and template for SATySFi
  ☆10Feb 7, 2026Updated last week
• COMSYS / SymbolicLivenessAnalysis

  View on GitHub
  Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
  ☆12Dec 16, 2021Updated 4 years ago
• iand / vocab-bio

  View on GitHub
  BIO: A vocabulary for biographical information
  ☆22Mar 21, 2012Updated 13 years ago
• UVA-DSA / openpilot-CARLA

  View on GitHub
  This Repository includes the simulation platform of a advanced driver assistance system openpilot and urban driving simulator CARLA.
  ☆13Jun 24, 2022Updated 3 years ago