A toolbox for worst-case validation of autonomous policies
☆36Dec 8, 2022Updated 3 years ago
Alternatives and similar repositories for AdaptiveStressTestingToolbox
Users that are interested in AdaptiveStressTestingToolbox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Adversarial driving simulator for testing safety validation algorithms☆15Jun 13, 2021Updated 5 years ago
- Package for automotive simulation in julia☆29Aug 6, 2022Updated 4 years ago
- Official codes for paper: Autonomous Driving Scenario Generation via Reversely Regularized Hybrid Offline-and-Online Reinforcement Learni…☆24Nov 23, 2023Updated 2 years ago
- ☆13Nov 17, 2021Updated 4 years ago
- Code for https://arxiv.org/abs/1811.00145☆12Feb 13, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A scenario loader for the automotive simulator Carla 0.9.3. Loads scenarios based on OpenScenario 0.9.1.☆19Jun 3, 2019Updated 7 years ago
- Julia library for deep reinforcement learning☆85Jun 6, 2026Updated 4 months ago
- ☆31Apr 1, 2025Updated last year
- Relational piecewise-linear overapproximations of multi-dimensional functions☆20Sep 24, 2025Updated last year
- Simulation-Based Adversarial Testing Framework for Autonomous Vehicles☆12Jan 7, 2019Updated 7 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆21Dec 16, 2020Updated 5 years ago
- In this project, we have used MATLAB as well as Simulink modeling to design an autopilot that controls the pitch of an aircraft.☆12Jan 11, 2019Updated 7 years ago
- ☆21Oct 23, 2023Updated 3 years ago
- [CoRL'23] Adversarial Training for Safe End-to-End Driving☆84Nov 11, 2024Updated last year
- 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.
- Julia interface for Gradescope autograding☆10Dec 24, 2025Updated 10 months ago
- Literature and code for inverse reinforcement leanring research☆31Mar 6, 2020Updated 6 years ago
- Evaluating Durability: Benchmark Insights into Multimodal Watermarking☆12Jun 7, 2024Updated 2 years ago
- ☆18Jul 6, 2023Updated 3 years ago
- End-to-end Autonomous Driving Perception with Sequential Latent Representation Learning☆39Nov 21, 2022Updated 3 years ago
- ☆83Feb 24, 2024Updated 2 years ago
- A python implementation of NGSIM data animation using pyglet☆16Sep 22, 2019Updated 7 years ago
- VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learnin…☆220Sep 30, 2026Updated 3 weeks ago
- The adversarial version of Highway-env☆15Jun 12, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An open-source multi-robot manufacturing simulator designed to test algorithms for multi-robot assembly planning.☆27Nov 15, 2025Updated 11 months ago
- Readme and script for single-line installation☆47Apr 22, 2021Updated 5 years ago
- This repo contains scenarios from different source for training and testing autonomous vehicles.☆27Mar 20, 2023Updated 3 years ago
- Grammatical Evolution package for Julia.☆16Jan 25, 2016Updated 10 years ago
- NGSIM Driving RL/Imitation learning environment compatible with rllab☆13Feb 23, 2018Updated 8 years ago
- Python library for working with Metric Temporal Logic (MTL)☆100Feb 20, 2023Updated 3 years ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆56Jun 22, 2026Updated 4 months ago
- This repository contains software for multi-agent simulation model of mixed traffic flow of connected (HVs) and automated vehicles (AVs) in …☆27Jun 22, 2020Updated 6 years ago
- Code for the paper, "First Contact: Unsupervised Human-Machine Co-Adaptation via Mutual Information Maximization"☆27Jul 5, 2022Updated 4 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.
- [NeurIPS'22 Spotlight] When to Trust Your Simulator: Dynamics-Aware Hybrid Offline-and-Online Reinforcement Learning☆59Sep 24, 2023Updated 3 years ago
- @tex macro for generating LaTeX PDFs from Julia code with descriptions☆18Aug 27, 2020Updated 6 years ago
- New distributional and shape attacks on neural networks that process 3D point cloud data.☆41Mar 24, 2023Updated 3 years ago
- This is the source code for IV'23 'Safety-critical Decision-making and Control for Autonomous Vehicles with Highest Priority'.☆24May 9, 2025Updated last year
- ☆10Sep 20, 2023Updated 3 years ago
- Learning to optimize (L2O) package that provides basic functionalities to help fit proxy models for optimization.☆16Apr 1, 2025Updated last year
- ☆18Feb 14, 2024Updated 2 years ago