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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The repository hosts the code for the SBST CPS Tool competition for testing autonomous cars.☆20Nov 4, 2022Updated 3 years ago
- DeepCrime - Mutation Testing Tool for Deep Learning Systems☆14Sep 23, 2023Updated 2 years ago
- Implementation of Nvidia's DAVE2 NN in Keras, with some enhancements☆25Jan 12, 2017Updated 9 years ago
- Python script and Lua extension using BeamNG.tech to generate low impact crash scenarios and ground truth data for imitation learning.☆23Apr 10, 2025Updated last year
- A tool for predicting unsafe road scenarios for self-driving cars in BeamNG.tech.☆26Jul 30, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing☆41Jan 26, 2024Updated 2 years ago
- The code of our paper "Misbehaviour Prediction for Autonomous Driving Systems", including our improved Udacity simulator☆21Jun 30, 2021Updated 5 years ago
- Uncertainty-Wizard is a plugin on top of tensorflow.keras, allowing to easily and efficiently create uncertainty-aware deep neural networ…☆44May 24, 2023Updated 3 years ago
- Evolutionary test case generation for simulation testing of autonomous vehicles.☆26Dec 8, 2022Updated 3 years ago
- RV-Monitor core system code☆16Apr 26, 2021Updated 5 years ago
- ☆12Jun 9, 2023Updated 3 years ago
- Github for the conference paper GLOD-Gaussian Likelihood OOD detector☆16Apr 18, 2022Updated 4 years ago
- 辛卜生算法实现的道路曲线计算，可以计算圆曲线，对称的缓和曲线和不对称的缓和曲线☆11Apr 10, 2019Updated 7 years ago
- ☆16Dec 19, 2025Updated 7 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆14Nov 1, 2021Updated 4 years ago
- This is an example project to demonstrate how one can easily scale simulation runs with docker containers☆12Dec 29, 2023Updated 2 years ago
- Search-based Testing Approach of Reinforcement Learning Agent☆21Nov 25, 2024Updated last year
- Source code for a presentation on refactoring C++ while accounting for preprocessor interactions☆12Dec 31, 2023Updated 2 years ago
- C++ state machine library☆11Apr 19, 2025Updated last year
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆49May 26, 2022Updated 4 years ago
- Take a peek at HN/知乎日报/V2EX/SBBS within Emacs☆13Jun 7, 2015Updated 11 years ago
- A web application where students drop their projects to check for correctness and quality.☆31Jul 29, 2026Updated last week
- MATE Automated Android Testing Tool☆19Sep 12, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Example configurations for coverage analysis tools set up in Maven to support EvoSuite tests☆20Apr 6, 2018Updated 8 years ago
- Simple, automation friendly SSH for the cloud.☆16Aug 12, 2015Updated 10 years ago
- ☆11Sep 7, 2023Updated 2 years ago
- A ROS/ROS2 Multi-robot Simulator for Autonomous Vehicles☆18Feb 21, 2022Updated 4 years ago
- 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
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆19Aug 2, 2021Updated 5 years ago
- C# library for basic curves: line segment, arc, clothoid and polynomial spiral.☆15Dec 4, 2018Updated 7 years ago
- ☆14Jan 16, 2024Updated 2 years ago
- ☆22Jan 10, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Homebrew formulas for Mopidy and Mopidy extensions☆23Jun 25, 2025Updated last year
- Implementation for paper Automata Extraction from Transformers.☆12Jun 8, 2024Updated 2 years ago
- ComOpT is a research tool for coverage-driven and constraint-driven testing of autonomous driving systems.☆16Feb 21, 2022Updated 4 years ago
- a tiny c++ logger☆16Oct 11, 2022Updated 3 years ago
- Web based viewer of OpenDrive (xodr) files (editing not implemented yet)☆18Mar 26, 2019Updated 7 years ago
- The repository provides a template ontology and scripts to create OpenSCENARIO-compatible corner case scenarios in simulation.☆17Dec 4, 2025Updated 8 months ago
- Citation in SATySFi like BibTeX☆12Oct 5, 2019Updated 6 years ago