Alternatives and similar repositories for PolyVerif

Users that are interested in PolyVerif are comparing it to the libraries listed below

• lu-w / criticality-metrics
  A knowledge base on criticality metrics for automated vehicles
  ☆16Updated 3 months ago
• CommonRoad / commonroad-autoware-interface
  A planning interface based on CommonRoad which integrates into the Autoware.Universe software stack
  ☆12Updated last month
• joel-mb / odr2lanelet2
  OpenDRIVE to Lanelet2 converter
  ☆13Updated 11 months ago
• driskai / scenario_gym
  Scenario Gym: a scenario-centric lightweight simulator
  ☆43Updated last month
• usdot-fhwa-stol / opendrive2lanelet
  Automatic Conversion of Road Networks from OpenDRIVE to Lanelets
  ☆30Updated last month
• gmnvh / pycarmaker
  Class to control and read information from CarMaker (https://ipg-automotive.com/)
  ☆44Updated 4 years ago
• ebadi / ScenarioGenerator
  ScenarioGenerator - Search-based Software Testing of Baidu Apollo in SVL
  ☆18Updated 3 years ago
• embedded-software-laboratory / cpm_lab
  ☆26Updated 2 years ago
• TUM-AVS / ros2_latency_analysis
  ☆30Updated last year
• TUMFTM / MixNet
  Structured Deep Neural Motion Prediction of Opposing Vehicles for an Autonomous Racecar
  ☆22Updated last month
• AlejandroDiazD / opendrive-mapping-planning
  ☆25Updated 3 years ago
• driveblocks / AV-Open-Source
  ☆19Updated 3 years ago
• ika-rwth-aachen / planning_interfaces
  This repository provides a set of ROS packages (ROS and ROS 2) with common messages and tools relating to the behavior planning task of a…
  ☆13Updated 2 weeks ago
• evshary / autoware_carla_launch
  ROS 2 Launch for running Autoware + Carla easily
  ☆72Updated last month
• ZATiTech / open_planner
  Integrated open source planner and related tools for autonomous navigation of autonomous vehicle and mobile robots
  ☆30Updated last year
• Robotics010 / carla_autoware_bridge
  Addition to carla_ros_bridge to convert carla messages to autoware messages
  ☆35Updated last year
• darkscyla / MATLAB-Carla-Interface
  Interfacing Carla with MATLAB using Python and ROS
  ☆121Updated 3 years ago
• OSSDC / OSSDC-SIM
  OSSDC SIM - Self Driving Car Simulator based of LGSVL
  ☆86Updated 2 years ago
• hatem-darweesh / op_bridge
  OpenPlanner ROS based bridge for CARLA Simulator and Scenario Runner
  ☆35Updated 8 months ago
• RI-SE / ATOS
  ROS2 based platform for coordinating tests of automated vehicles and their surrounding systems.
  ☆16Updated last month
• daohu527 / apollo_map
  map use to carla and apollo simulation
  ☆22Updated last year
• usdot-fhwa-stol / cdasim
  CDASim is an open-source simulation system supporting the development and testing of Cooperative Driving Automation applications.
  ☆45Updated 2 weeks ago
• ika-rwth-aachen / carlos
  CARLA Open Simulation Architecture
  ☆52Updated 2 months ago
• TUMFTM / ScenarioArchitect
  The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of conc…
  ☆36Updated last year
• IPG-Automotive-UK / Aslan-CarMaker
  Integration of CarMaker with project ASLAN, open-source autonomous software for low-speed applications.
  ☆30Updated 3 years ago
• ika-rwth-aachen / perception_interfaces
  This repository provides a set of ROS packages (ROS and ROS 2) with common messages and tools relating to the perception task in automate…
  ☆14Updated last month
• JaRei / sinadra
  ☆22Updated 3 years ago
• MaisJamal / Carla_apollo_maps
  HD Apollo maps for Carla simulator towns. Town01 - Town02 - Town03 - Town04 - Town05
  ☆33Updated last year
• ZhuoyunZhong / Personalizing-ADAS-in-CARLA
  Personalization of Assistive Driving in Carla Simulator
  ☆32Updated 4 years ago
• hatem-darweesh / op_agent
  OpenPlanner Agent for CARLA Simulator
  ☆18Updated 8 months ago