The repository hosts the code for the SBFT CPS Tool competition for testing autonomous cars.
☆16Nov 17, 2024Updated last year
Alternatives and similar repositories for cps-tool-competition
Users that are interested in cps-tool-competition are comparing it to the libraries listed below
Sorting:
- The repository hosts the code for the SBST CPS Tool competition for testing autonomous cars.☆21Nov 4, 2022Updated 3 years ago
- ☆19Dec 8, 2022Updated 3 years ago
- Implementation of Nvidia's DAVE2 NN in Keras, with some enhancements☆25Jan 12, 2017Updated 9 years ago
- DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing☆39Jan 26, 2024Updated 2 years ago
- Evolutionary test case generation for simulation testing of autonomous vehicles.☆28Dec 8, 2022Updated 3 years ago
- 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
- map use to carla and apollo simulation☆23Jun 9, 2024Updated last year
- A tool for predicting unsafe road scenarios for self-driving cars in BeamNG.tech.☆25Jul 30, 2024Updated last year
- The code of our paper "Misbehaviour Prediction for Autonomous Driving Systems", including our improved Udacity simulator☆21Jun 30, 2021Updated 4 years ago
- 辛卜生算法实现的道路曲线计算，可以计算圆曲线，对称的缓和曲线和不对称的缓和曲线☆12Apr 10, 2019Updated 6 years ago
- An open-source software package for fuzzing autonomous driving systems in high-fidelity simulators☆34Jul 13, 2022Updated 3 years ago
- SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems☆10Apr 11, 2025Updated 10 months ago
- Web Fuzzing Dataset (WFD): a set of web/enterprise applications for experimentation in automated system testing☆42Feb 26, 2026Updated last week
- 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
- CV and Deep Learning methods to analyze the data from Traffic Camera☆13Sep 29, 2018Updated 7 years ago
- openlux - an open source CCD camera for deep-sky astrophotography☆14Apr 18, 2022Updated 3 years ago
- A class file easy to customize with SATySFi☆11May 22, 2021Updated 4 years ago
- ShiftLeft Scan is a free and open-source commercial-grade security tool for modern DevOps teams.☆13Dec 30, 2022Updated 3 years ago
- 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
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated last year
- Aspect-oriented programming in Rust☆13Nov 1, 2021Updated 4 years ago
- Search-based test generation toolbox written in Python☆17Oct 27, 2025Updated 4 months ago
- Repository for hosting the MITRE Cyber Academy website.☆11Apr 12, 2023Updated 2 years ago
- windows开发环境构建：wls2、docker、git、ssr☆12Jan 14, 2026Updated last month
- ☆14Nov 1, 2021Updated 4 years ago
- ☆12Nov 2, 2021Updated 4 years ago
- ☆12Jan 31, 2026Updated last month
- BIO: A vocabulary for biographical information☆22Mar 21, 2012Updated 13 years ago
- ☆10Feb 24, 2017Updated 9 years ago
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- A pandoc custom writer and template for SATySFi☆10Feb 7, 2026Updated last month
- 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
- This Repository includes the simulation platform of a advanced driver assistance system openpilot and urban driving simulator CARLA.☆14Jun 24, 2022Updated 3 years ago
- experiments for IJON☆12Jul 1, 2019Updated 6 years ago
- ☆12Mar 24, 2023Updated 2 years ago
- A curated list of awesome baseband research resources☆16Sep 8, 2019Updated 6 years ago
- Template structure for a new paper written in Latex, including advice on how to write each section and format various aspects like figure…☆17Aug 5, 2025Updated 7 months ago
- Developer tool that allows you to create curved brushed road in the game, and then export them to vmf. It is useful when building roads o…☆16Jul 19, 2017Updated 8 years ago
- This Mod can build more complex curve to help build a interchange quickly.☆11Jun 27, 2020Updated 5 years ago