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
- [CoRL'20] Learning a Decision Module by Imitating Driver’s Control Behaviors☆30Updated 2 years ago
- A toolbox for worst-case validation of autonomous policies☆35Updated 2 years ago
- Agents code for Multi-Agent Connected Autonomous Driving (MACAD) described in the paper presented in the Machine Learning for Autonomous …☆25Updated 4 years ago
- [IROS 22'] Model-free Neural Lyapunov Control☆22Updated 2 years ago
- [ICRA 2022] Learning to Navigate Intersections with Unsupervised Driver Trait Inference☆25Updated last month
- Simulator for the INTERACTION dataset☆31Updated 2 years ago
- 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
- Training and evaluation scripts for applying formal methods and reinforcement learning to autonomous driving problems.☆25Updated 5 years ago
- A simple highway traffic simulation for self-driving car agents in occupancy grid world☆15Updated 5 years ago
- Implements the algorithm introduced in the paper "Advanced Planning for Autonomous Vehicles using Reinforcement Learning and Deep Inverse…☆35Updated 4 years ago
- Code for L4DC 2022 paper: Joint Synthesis of Safety Certificate and Safe Control Policy Using Constrained Reinforcement Learning.☆15Updated last year
- [IEEE T-ASE] [IROS 2022] Unified Automatic Control of Vehicular Systems With Reinforcement Learning☆36Updated last year
- ☆40Updated 2 years ago
- ☆22Updated last year
- Behavior planner fusing runtime verification on traffic rules with single- and multi-agent Monte Carlo Tree Search☆10Updated 3 years ago
- Imitation Learning with the INTERACTION Dataset☆31Updated 11 months ago
- The pytorch code for ICRA2020 paper 'CMTS: Conditional Multiple Trajectory Synthesizer for Generating Safety-critical Driving Scenarios'☆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
- Code accompanying the CoRL 2020 paper "MATS: An Interpretable Trajectory Forecasting Representation for Planning and Control" by Boris Iv…☆41Updated 3 years ago
- On Infusing Reachability-Based Safety Assurance within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions☆16Updated 4 years ago
- ☆11Updated 5 years ago
- Thrid-party safety-gym safe exploration environments for autonomous driving. Also environment used for IROS 2021 paper: Model-based Const…☆33Updated 3 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆79Updated 6 months 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
- ☆13Updated 5 years ago
- [CoRL 2021] Official implementation of paper "Safe Driving via Expert Guided Policy Optimization".☆45Updated 11 months ago
- Safe adversarial inverse reinforcement learning/imitation learning in the paper "Safety-Aware Adversarial Inverse Reinforcement Learning …☆17Updated 2 years ago
- The Verifiably Safe Reinforcement Learning Framework☆56Updated 3 years ago
- Learning Off-Policy with Online Planning [CoRL 2021 Best Paper Finalist]☆36Updated 2 years ago
- A new Reinforcement Learning Environment☆35Updated 3 years ago