PolyVerifFramework / PolyVerif
PolyVerif AV Validation Suite
☆14Updated this week
Alternatives and similar repositories for PolyVerif:
Users that are interested in PolyVerif are comparing it to the libraries listed below
- AutowareV2X is an open-source module that can be added onto the newest Autoware.universe to enable V2X communication.☆24Updated 6 months ago
- Automatic Conversion of Road Networks from OpenDRIVE to Lanelets☆30Updated 2 weeks ago
- ROS 2 Launch for running Autoware + Carla easily☆65Updated this week
- ☆22Updated 2 years ago
- CARLA Open Simulation Architecture☆51Updated 2 months ago
- ROS / ROS 2 Support for ETSI ITS Messages for V2X Communication☆53Updated last week
- map use to carla and apollo simulation☆19Updated 7 months ago
- Carla 0.9.15 and Autoware Universe Humble☆148Updated 6 months ago
- Integrated open source planner and related tools for autonomous navigation of autonomous vehicle and mobile robots☆28Updated 8 months ago
- ☆28Updated 3 years ago
- Eclipse ADORe is a ROS based modular software library and toolkit for decision making, planning, control and simulation of automated vehi…☆51Updated 9 months ago
- ☆30Updated last year
- Addition to carla_ros_bridge to convert carla messages to autoware messages☆31Updated 9 months ago
- Class to control and read information from CarMaker (https://ipg-automotive.com/)☆43Updated 3 years ago
- Scenario Gym: a scenario-centric lightweight simulator☆41Updated 6 months ago
- The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of conc…☆35Updated 7 months ago
- OpenPlanner ROS based bridge for CARLA Simulator and Scenario Runner☆32Updated 3 months ago
- Models of the ZalaZONE automotive proving ground in different file formats for simulation software (IPG CarMaker, PreScan, VTD Vires, SUM…☆22Updated 2 years ago
- Open maps and models of the ZalaZONE automotive proving ground and the Széchenyi István University Campus (Győr)☆12Updated 2 weeks ago
- Personalization of Assistive Driving in Carla Simulator☆29Updated 3 years ago
- Toolbox for Map Conversion and Scenario Creation for Autonomous Vehicles.☆31Updated last month
- OSSDC SIM - Self Driving Car Simulator based of LGSVL☆82Updated last year
- A knowledge base on criticality metrics for automated vehicles☆16Updated last year
- ☆23Updated last year
- This project provides a bridge for communication between the autonomous driving platform Apollo and Carla simulator. Receiving data from …☆55Updated 11 months ago
- Autoware - the world's leading open-source software project for autonomous driving + Latest OpenPlanner☆29Updated last year
- Interfacing Carla with MATLAB using Python and ROS☆111Updated 2 years ago
- A CARLA controller for generating datasets and end-to-end models for autonomous vehicle control☆16Updated 6 years ago
- The repository embes (embedded energy strategy) contains an algorithm to calculate an energy strategy for an all-electric race car in rea…☆14Updated 3 years ago
- ComOpT is a research tool for coverage-driven and constraint-driven testing of autonomous driving systems.☆14Updated 2 years ago