Tool, paper, and study data for DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles.
☆11Aug 26, 2023Updated 2 years ago
Alternatives and similar repositories for DeepManeuver
Users that are interested in DeepManeuver are comparing it to the libraries listed below
Sorting:
- BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems (ISSTA 2023)☆25Mar 16, 2024Updated last year
- Framework for generating adversarial examples using formal methods and for analyzing robustness of DNNs.☆21Jul 21, 2017Updated 8 years ago
- ☆17Aug 2, 2022Updated 3 years ago
- DPLL(T)-based Verification tool for DNNs☆30Updated this week
- Simulation and animation of a kinematic bicycle model with open loop steering rate making left and right turns.☆24Jul 30, 2021Updated 4 years ago
- A Unified and Extensible Infrastructure for Autonomous Driving Testing☆39Jan 16, 2026Updated last month
- A Framework for Deep Neural Network Verification☆57Dec 14, 2024Updated last year
- SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems☆26May 21, 2025Updated 9 months ago
- scenoRITA: Generating Diverse, Fully-Mutable, Safety-Critical and Motion Sickness-Inducing Scenarios for Autonomous Vehicles☆25Jul 26, 2022Updated 3 years ago
- A time delay estimation method for event-based time-series data. Time delay estimation is also known as the correction of time offsets an…☆15Dec 3, 2025Updated 2 months ago
- ☆10Mar 24, 2025Updated 11 months ago
- ☆12Jun 18, 2024Updated last year
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- ROS2 driver for OxTS Inertial Navigation Systems☆13Apr 14, 2025Updated 10 months ago
- Intelligent Self-driving System empowering Physical Agents (ISSPA)☆13Dec 23, 2024Updated last year
- ☆12Mar 12, 2022Updated 3 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- A simple chess bot written in Python.☆11Jun 21, 2022Updated 3 years ago
- ☆12May 20, 2012Updated 13 years ago
- Professional Wargaming LLM Toolbox☆20Jul 9, 2025Updated 7 months ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- Robust Orbit Combination Software☆15Oct 1, 2025Updated 5 months ago
- operating rc car with controller/steering wheel remotely☆12Apr 19, 2021Updated 4 years ago
- Synchronize camera files by using PTP-IP from libgphoto☆10Apr 5, 2019Updated 6 years ago
- Holds the recipe to run our street data converter locally via docker-compose: https://converter.gis-ops.com☆11Mar 2, 2022Updated 4 years ago
- A Large Satellite Stereo Dataset for Digital Surface Model Generation☆13Mar 20, 2024Updated last year
- Tesla CAN bus messages and signals for 3, Y, S and X☆12Sep 10, 2023Updated 2 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Finished: ORB_SLAM2 with monocular reconstruction support using COLMAP☆12Dec 13, 2019Updated 6 years ago
- GridSim is an autonomous driving simulator engine that uses a car-like robot architecture to generate occupancy grids from simulated sens…☆11Mar 24, 2023Updated 2 years ago
- CAPD library☆16Jan 4, 2026Updated last month
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles☆10Oct 13, 2022Updated 3 years ago
- A fast method used sliding window filter frame work for RTK-Visual-Inertial-Navigation☆11Feb 13, 2024Updated 2 years ago
- ☆41Feb 21, 2026Updated last week
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- Contextual Combinatorial Cascading Bandits☆10Jun 30, 2016Updated 9 years ago
- Demonstration project for Java analysis☆14Aug 1, 2024Updated last year