chenhengwei1999 / ISSPAView external linksLinks
Intelligent Self-driving System empowering Physical Agents (ISSPA)
☆13Dec 23, 2024Updated last year
Alternatives and similar repositories for ISSPA
Users that are interested in ISSPA are comparing it to the libraries listed below
Sorting:
- Intelligent Self-driving System☆60May 28, 2024Updated last year
- 1,000 questions about Apollo autonomous driving☆44Nov 2, 2024Updated last year
- Artifact for our ADS testing approach published at ICSE 2023☆23Feb 18, 2025Updated 11 months ago
- BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems (ISSTA 2023)☆25Mar 16, 2024Updated last year
- Our repository for NSCSCC☆19Feb 22, 2025Updated 11 months ago
- SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems☆26May 21, 2025Updated 8 months ago
- ☆31May 30, 2024Updated last year
- vscode-drawio增强版，提供代码跳转功能☆10Feb 20, 2025Updated 11 months ago
- Autoware - the world's leading open-source software project for autonomous driving + Latest OpenPlanner☆30Feb 16, 2023Updated 2 years ago
- Conversion from CNNs to SNNs using Tensorflow-Keras☆39Apr 29, 2024Updated last year
- Python-based chatbot using chatGPT API, supporting both text-based and voice-based chatting.☆13Mar 17, 2023Updated 2 years ago
- Husky-LIO-SAM☆12Feb 23, 2023Updated 2 years ago
- BrainWash: A Poisoning Attack to Forget in Continual Learning☆12Apr 15, 2024Updated last year
- A greybox fuzzer for continuous integration☆10Dec 15, 2023Updated 2 years ago
- ☆13Feb 3, 2025Updated last year
- VCD Parser for Node.js☆11Jan 7, 2023Updated 3 years ago
- VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-guided Simulation Testing☆15Aug 5, 2024Updated last year
- GPU model checker☆11Apr 17, 2019Updated 6 years ago
- ☆11Apr 7, 2025Updated 10 months ago
- SoC for CQU Dual Issue Machine☆12Sep 20, 2022Updated 3 years ago
- RISC-V Formal in Chisel☆12Apr 9, 2024Updated last year
- ☆10Oct 15, 2021Updated 4 years ago
- ☆14May 7, 2025Updated 9 months ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Feb 3, 2026Updated last week
- Handle Fast Signal Traces (fst) in Python☆14Jun 11, 2025Updated 8 months ago
- ☆14Sep 3, 2024Updated last year
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Jul 4, 2025Updated 7 months ago
- RISC-V instruction encoding/decoding☆13Mar 22, 2023Updated 2 years ago
- ☆13Apr 7, 2025Updated 10 months ago
- Tool, paper, and study data for DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles.☆11Aug 26, 2023Updated 2 years ago
- Paper sharing in adversary related works☆45Aug 14, 2025Updated 6 months ago
- Light musician is a tool to convert song to its light version. With Light Player, vocals in a song can be convert to other instruments us…☆11Aug 29, 2022Updated 3 years ago
- ☆11Oct 16, 2025Updated 3 months ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 2 years ago
- a pure python autonomous driving framework☆12Nov 27, 2025Updated 2 months ago
- Yet another Web crawler☆12May 1, 2024Updated last year
- ☆13Apr 7, 2025Updated 10 months ago
- Apple Silicon TSO Enabler for Linux☆17Nov 11, 2025Updated 3 months ago
- Formal verification tools for Chisel and RISC-V☆13Jul 2, 2024Updated last year