ReSonate: A framework for runtime risk assessment of autonomous cyber-physical systems
☆11Jul 4, 2021Updated 4 years ago
Alternatives and similar repositories for Resonate
Users that are interested in Resonate are comparing it to the libraries listed below
Sorting:
- ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems☆11Aug 10, 2024Updated last year
- Code for risk-aware robust mpc for motion planning by learning obstacle uncertainties☆15Apr 7, 2025Updated 11 months ago
- Using Lane Detection for Self Driving in CARLA☆15Mar 15, 2023Updated 3 years ago
- ☆13Jun 27, 2022Updated 3 years ago
- On Infusing Reachability-Based Safety Assurance within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions☆17Jul 10, 2020Updated 5 years ago
- This repository offers code to reuse methodology and repeat experiments in the study "A Unified Probabilistic Approach to Traffic Conflic…☆23Jun 5, 2025Updated 9 months ago
- ☆22Sep 28, 2025Updated 5 months ago
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆23May 24, 2023Updated 2 years ago
- Reliability_Multirotor_Drones☆13Nov 9, 2024Updated last year
- ☆23Sep 9, 2021Updated 4 years ago
- Automated Testing Framework for CARLA Simulator [ITSC 2022]☆22Apr 22, 2022Updated 3 years ago
- This is an experiment platform with autonomous agent openpilot0.8.9 and simulator carla 9.11 without docker setups.☆11Jan 3, 2025Updated last year
- A PyTorch implementation of "Towards Self-Explainable Graph Neural Network" (CIKM 2021).☆13Nov 4, 2021Updated 4 years ago
- 针对大模型的后门攻击☆12Jun 30, 2024Updated last year
- For the paper "Prediction-Based Reachability for Collision Avoidance in Autonomous Driving"☆22Dec 16, 2020Updated 5 years ago
- NeurIPS[2023] "Multi-Modal Inverse Constrained Reinforcement Learning from a Mixture of Demonstrations" official implement☆10Feb 19, 2024Updated 2 years ago
- Pytorch Implementation of AAMAS 2021 paper <Energy-Based Imitation Learning>☆11Oct 8, 2021Updated 4 years ago
- ☆26Nov 16, 2021Updated 4 years ago
- DeepTraLog: Trace-Log Combined Microservice Anomaly Detection through Graph-based Deep Learning☆13Mar 24, 2023Updated 2 years ago
- This Repository includes the simulation platform of a advanced driver assistance system openpilot and urban driving simulator CARLA.☆14Jun 24, 2022Updated 3 years ago
- library for efficient processing of homography and bird's eye view☆11Sep 12, 2021Updated 4 years ago
- This repo includes the source code and dataset information for reproducing the results of our paper (https://arxiv.org/abs/2009.06435)☆54Mar 24, 2023Updated 2 years ago
- ☆13Jan 16, 2018Updated 8 years ago
- Quantitate binary risk assessment☆17May 9, 2022Updated 3 years ago
- 基于select模型的多线程、高并发服务器，同时实现了内存池+对象池☆10Nov 4, 2019Updated 6 years ago
- PyTorch Official Implementation of CoRL 2023 Paper: Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-a…☆36May 30, 2024Updated last year
- UMASploit - ClearEnergy modules☆16Apr 14, 2017Updated 8 years ago
- ROS2 package to visualize .pcd file and .osm file (openstreetmap) and to convert .osm file to occupancy map☆16Aug 3, 2023Updated 2 years ago
- A pure Python package to monitor formal specifications over temporal sequences☆17Dec 10, 2019Updated 6 years ago
- Detecting Traffic Signals using OpenCV and Python☆12Feb 2, 2015Updated 11 years ago
- Convex hulls of reachable sets☆14Feb 29, 2024Updated 2 years ago
- ROBOTICS - OBSTACLE AVOIDANCE☆11Dec 5, 2023Updated 2 years ago
- CAN-bus gauge cluster for BMW E12☆14May 5, 2023Updated 2 years ago
- ☆10Aug 25, 2022Updated 3 years ago
- Code for Kinematic Highway paper (https://arxiv.org/abs/2103.16673)☆13Apr 13, 2021Updated 4 years ago
- Autonomous Driving W/ Deep Reinforcement Learning in Lane Keeping - DDQN and SAC with kinematics/birdview-images☆13Jul 17, 2024Updated last year
- Reimplementation of graph neural network based generation model, HDMapGen☆20Jul 23, 2024Updated last year
- Code for IROS 2023 paper "A Game-Theoretic Framework for Joint Forecasting and Planning"☆51Oct 15, 2023Updated 2 years ago
- ☆11Nov 30, 2020Updated 5 years ago