tungminhphan / traffic-intersection
This is an example of the design-by-contract method
☆14Updated 2 years ago
Alternatives and similar repositories for traffic-intersection:
Users that are interested in traffic-intersection are comparing it to the libraries listed below
- Agents code for Multi-Agent Connected Autonomous Driving (MACAD) described in the paper presented in the Machine Learning for Autonomous …☆25Updated 4 years ago
- [CoRL'20] Learning a Decision Module by Imitating Driver’s Control Behaviors☆30Updated 2 years ago
- [IROS 22'] Model-free Neural Lyapunov Control☆23Updated 2 years ago
- A toolbox for worst-case validation of autonomous policies☆35Updated 2 years ago
- On Infusing Reachability-Based Safety Assurance within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions☆17Updated 4 years ago
- Code for the paper: "MIDAS: Multi-agent Interaction-aware Decision-making with Adaptive Strategies for Urban Autonomous Navigation"☆17Updated 3 years ago
- A safe and efficient autonomous driving algorithm. Winner of the 2019 DriveML Huawei Autonomous Vehicles Challenge. Built using RLLib and…☆18Updated 5 years ago
- Code for L4DC 2022 paper: Joint Synthesis of Safety Certificate and Safe Control Policy Using Constrained Reinforcement Learning.☆15Updated last year
- A simple highway traffic simulation for self-driving car agents in occupancy grid world☆15Updated 5 years ago
- Companion code to TRC paper: Daniel A. Lazar, Erdem Bıyık, Dorsa Sadigh, Ramtin Pedarsani. "Learning how to Dynamically Route Autonomous …☆15Updated 3 years ago
- This repository has code for the paper "Model-based Safe Deep Reinforcement Learning via a Constrained Proximal Policy Optimization Algor…☆26Updated last year
- [ICRA 2022] Learning to Navigate Intersections with Unsupervised Driver Trait Inference☆25Updated 3 months ago
- [IEEE T-ASE] [IROS 2022] Unified Automatic Control of Vehicular Systems With Reinforcement Learning☆38Updated last year
- Literature and code for inverse reinforcement leanring research☆29Updated 5 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆79Updated 7 months ago
- Bi-Level Optimization Augmented with Conditional Variational Autoencoder for Autonomous Driving in Dense Traffic☆16Updated last year
- Simulator for the INTERACTION dataset☆31Updated 2 years ago
- Imitation Learning with the INTERACTION Dataset☆32Updated last year
- The aim of this repo is to bring ideas and relevant literature relating to Safe-RL in the context of autonomous vehicles.☆48Updated 6 years ago
- Robust Multi-Agent Reinforcement Learning with State Uncertainty☆13Updated last year
- Implements the algorithm introduced in the paper "Advanced Planning for Autonomous Vehicles using Reinforcement Learning and Deep Inverse…☆36Updated 4 years ago
- Thrid-party safety-gym safe exploration environments for autonomous driving. Also environment used for IROS 2021 paper: Model-based Const…☆34Updated 3 years ago
- ☆22Updated last year
- Implementation of Hierarchical Control for Head-to-Head Autonomous Racing paper☆16Updated last year
- ☆14Updated 6 years ago
- ☆12Updated last year
- Training and evaluation scripts for applying formal methods and reinforcement learning to autonomous driving problems.☆25Updated 5 years ago
- ☆15Updated 3 years ago
- TorchDriveEnv is a lightweight 2D driving reinforcement learning environment, supported by a solid simulator and smart non-playable chara…☆23Updated last month
- ☆12Updated 2 years ago