Repository for the GRAIC synthesis competition
☆22Nov 22, 2023Updated 2 years ago
Alternatives and similar repositories for Race
Users that are interested in Race are comparing it to the libraries listed below
Sorting:
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,☆18Feb 10, 2026Updated 3 weeks ago
- Formal Verification of Neural Feedback Loops (NFLs)☆83Sep 12, 2024Updated last year
- PlanFuzz is a novel dynamic testing tool for discovering semantic DoS vulnerability in AD behavioral planning (NDSS 2022)☆22May 2, 2022Updated 3 years ago
- ☆27Sep 27, 2024Updated last year
- ☆101Jul 8, 2020Updated 5 years ago
- Official code for "Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability"☆30Aug 1, 2023Updated 2 years ago
- Official implementation for paper "Model-based Decision Making with Imagination for Autonomous Parking"☆26Nov 2, 2022Updated 3 years ago
- Python Version of F-16 Maneuver Verification Benchmark☆131Feb 12, 2026Updated 3 weeks ago
- ROS motion planning package based on LIOM (Light-weighted Iterative Optimization Method) approach☆36Feb 8, 2023Updated 3 years ago
- Neural Network Verification Software Tool☆139Jan 22, 2026Updated last month
- Simulation of multicopter dynamics and IMU measurement.☆10Feb 14, 2024Updated 2 years ago
- ☆12Updated this week
- A SCADA system that uses prime for intrusion tolerance. Using PVBrowser as an HMI☆10May 27, 2015Updated 10 years ago
- Discriminating kernel algorithm implementation and neural network approximation, as presented in "Safe Motion Planning for Autonomous Dri…☆31Jun 28, 2020Updated 5 years ago
- Repo associated with IEEE Robotics and Automation Letters publication titled "Multi-Modal Model Predictive Control through batch non-holo…☆36Oct 30, 2022Updated 3 years ago
- Generates provably correct trajectories from cLTL specifications for large collection of agents☆11Jul 13, 2019Updated 6 years ago
- This repository contains programs to re-produce the results of the paper here https://arxiv.org/abs/2305.08094.☆11Jan 21, 2025Updated last year
- N. Papadakis, G. Peyré, E. Oudet. Optimal Transport with Proximal Splitting. SIAM Journal on Imaging Sciences, 7(1), pp. 212–238, 2014.☆11Jan 7, 2017Updated 9 years ago
- Rapidly designing and solving differential games in Julia.☆45Nov 25, 2025Updated 3 months ago
- ☆10Jun 7, 2021Updated 4 years ago
- Simulated large clusters for Kubernetes scheduler validation.☆15Jan 3, 2023Updated 3 years ago
- Comparing obstacle avoidance formulations☆10Oct 22, 2022Updated 3 years ago
- FMI for Power System☆10Sep 6, 2019Updated 6 years ago
- Bin Packing Algorithms implemented in Python☆11Feb 16, 2014Updated 12 years ago
- Use your iPad as a Goban☆30Aug 4, 2010Updated 15 years ago
- linuxplayer's programming scripts, technical documents and notes☆12Oct 16, 2024Updated last year
- Agent models implemented with Pyro☆11Jul 11, 2023Updated 2 years ago
- A workspace for learning computer science and software engineering topics☆13Oct 31, 2018Updated 7 years ago
- Simple Python to verbose English translator.☆16Jan 18, 2014Updated 12 years ago
- A Python library for creating digital sound.☆13Sep 22, 2024Updated last year
- Pythons scripts to generate 2.5D maps with Blender and Tilemill☆10Apr 8, 2015Updated 10 years ago
- Urho3D extra minimal examples and demos. Tested in Ubuntu 18.04.☆11Feb 25, 2022Updated 4 years ago
- User defined literals for boost units.☆13Dec 22, 2014Updated 11 years ago
- A python tool for solving reachability/safety, parity, weak parity and generalized parity games☆13Aug 16, 2018Updated 7 years ago
- 🐲 Stanford CS234 : Reinforcement Learning☆12Jan 14, 2019Updated 7 years ago
- Implementation of a Gaussian process regression for motion prediction in target-tracking scenarios (currently under development). Based o…☆11Dec 16, 2019Updated 6 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- A GitHub repository associated with paper "Learn to Earn: Enabling Coordination Within a Ride-Hailing Fleet"☆10Jun 22, 2020Updated 5 years ago