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:
- 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.☆22Apr 10, 2025Updated last year
- The code of our paper "Misbehaviour Prediction for Autonomous Driving Systems", including our improved Udacity simulator☆21Jun 30, 2021Updated 4 years ago
- RV-Monitor core system code☆16Apr 26, 2021Updated 5 years ago
- map use to carla and apollo simulation☆24Jun 9, 2024Updated 2 years ago
- 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.
- ☆12Mar 24, 2023Updated 3 years ago
- 辛卜生算法实现的道路曲线计算，可以计算圆曲线，对称的缓和曲线和不对称的缓和曲线☆12Apr 10, 2019Updated 7 years ago
- Web Fuzzing Dataset (WFD): a set of web/enterprise applications for experimentation in automated system testing☆51May 21, 2026Updated last month
- A stream search engine for the Internet of Things (back-end)☆30Sep 1, 2014Updated 11 years ago
- An open-source software package for fuzzing autonomous driving systems in high-fidelity simulators☆34Jul 13, 2022Updated 3 years ago
- Markdown files containing the Homeworks and Chapters included in the HarvardX course, Using Python for Research.☆10Jan 15, 2019Updated 7 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
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- This Repository includes the simulation platform of a advanced driver assistance system openpilot and urban driving simulator CARLA.☆14Jun 24, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Search-based Testing Approach of Reinforcement Learning Agent☆21Nov 25, 2024Updated last year
- Convert a cubic bezier curve to a series of arcs☆10Sep 3, 2018Updated 7 years ago
- Source code for a presentation on refactoring C++ while accounting for preprocessor interactions☆12Dec 31, 2023Updated 2 years ago
- windows开发环境构建：wls2、docker、git、ssr☆12Jan 14, 2026Updated 5 months ago
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated 2 years ago
- C++ state machine library☆11Apr 19, 2025Updated last year
- SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems☆11Apr 11, 2025Updated last year
- ☆16Dec 19, 2025Updated 6 months ago
- Tools and data of the paper "Model-based Exploration of the Frontier of Behaviours for Deep Learning System Testing"☆14Jul 9, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Out-of-distribution detection using the pNML regret. NeurIPS2021☆25Dec 20, 2024Updated last year
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆49May 26, 2022Updated 4 years ago
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- This Mod can build more complex curve to help build a interchange quickly.☆13Jun 27, 2020Updated 6 years ago
- Automatic Crash Constructor from Crash Report (A3CR) Demo of constructing simulations from crash reports☆14Apr 14, 2023Updated 3 years ago
- ☆12Jun 9, 2023Updated 3 years ago
- Take a peek at HN/知乎日报/V2EX/SBBS within Emacs☆13Jun 7, 2015Updated 11 years ago
- Aspect-oriented programming in Rust☆15Nov 1, 2021Updated 4 years 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…☆17Jul 19, 2017Updated 8 years ago
- 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.
- ☆29Mar 25, 2021Updated 5 years ago
- MATE Automated Android Testing Tool☆19Sep 12, 2024Updated last year
- Example configurations for coverage analysis tools set up in Maven to support EvoSuite tests☆20Apr 6, 2018Updated 8 years ago
- ☆11Sep 7, 2023Updated 2 years ago
- A ROS/ROS2 Multi-robot Simulator for Autonomous Vehicles☆18Feb 21, 2022Updated 4 years ago
- 🚧 building ...☆16Jul 26, 2024Updated last year
- 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