Alternatives and similar repositories for PolyVerif

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

• joel-mb / odr2lanelet2
  OpenDRIVE to Lanelet2 converter
  ☆13Updated last year
• usdot-fhwa-stol / opendrive2lanelet
  Automatic Conversion of Road Networks from OpenDRIVE to Lanelets
  ☆30Updated 5 months 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…
  ☆12Updated last week
• daohu527 / apollo_map
  map use to carla and apollo simulation
  ☆22Updated last year
• lu-w / criticality-metrics
  A knowledge base on criticality metrics for automated vehicles
  ☆16Updated last month
• TUMFTM / MixNet
  Structured Deep Neural Motion Prediction of Opposing Vehicles for an Autonomous Racecar
  ☆23Updated 5 months ago
• CommonRoad / commonroad-autoware-interface
  A planning interface based on CommonRoad which integrates into the Autoware.Universe software stack
  ☆13Updated 6 months ago
• driveblocks / AV-Open-Source
  ☆20Updated 3 years ago
• TUMFTM / ScenarioArchitect
  The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of conc…
  ☆34Updated last year
• ika-rwth-aachen / carlos
  CARLA Open Simulation Architecture
  ☆54Updated last month
• embedded-software-laboratory / cpm_lab
  ☆26Updated 3 months ago
• AlejandroDiazD / opendrive-mapping-planning
  ☆25Updated 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 this week
• roadview-project / vehicle-dynamics
  Python Package that makes Vehicle Dynamics Calculation for cars.
  ☆15Updated 8 months ago
• ika-rwth-aachen / SimDriver
  A responsive driver model for traffic simulations to create exact and closed-loop microscopic traffic scenarios.
  ☆15Updated 2 years ago
• ebadi / ScenarioGenerator
  ScenarioGenerator - Search-based Software Testing of Baidu Apollo in SVL
  ☆19Updated 3 years ago
• driskai / scenario_gym
  Scenario Gym: a scenario-centric lightweight simulator
  ☆43Updated 5 months ago
• gmnvh / pycarmaker
  Class to control and read information from CarMaker (https://ipg-automotive.com/)
  ☆48Updated 4 years ago
• TUMFTM / teleoperated_driving
  ☆58Updated 3 months ago
• esakilab / AutoC2X-AW
  ☆29Updated 4 years ago
• IPG-Automotive-UK / Aslan-CarMaker
  Integration of CarMaker with project ASLAN, open-source autonomous software for low-speed applications.
  ☆31Updated 4 years ago
• ika-rwth-aachen / etsi_its_messages
  ROS / ROS 2 Support for ETSI ITS Messages for V2X Communication
  ☆71Updated last week
• TUM-AVS / Frenetix
  C++-accelerated Frenet Trajectory Planning Handler
  ☆46Updated last week
• ika-rwth-aachen / ros-v2x-benchmarking-suite
  ROS V2X Benchmarking Suite
  ☆21Updated last year
• eclipse-adore / adore_ROS1
  Eclipse ADORe is a ROS 1 based modular software library and toolkit for decision making, planning, control and simulation of automated ve…
  ☆53Updated last month
• tier4 / tier4_autoware_msgs
  TIER IV's extension messages for Autoware
  ☆19Updated last week
• ika-rwth-aachen / omega-prime
  Omega-Prime: Data Model, Data Format and Python Library for Handling Ground Truth Traffic Data
  ☆15Updated last week
• evshary / autoware_carla_launch
  ROS 2 Launch for running Autoware + Carla easily
  ☆75Updated 3 weeks ago
• ika-rwth-aachen / omega_format
  A Python library for reading, writing and visualizing the OMEGA Format, targeted towards storing reference and perception data in the aut…
  ☆21Updated 5 months ago
• BMEAutomatedDrive / ZalaZONE-automotive-proving-ground-virtual-simulation-models
  Models of the ZalaZONE automotive proving ground in different file formats for simulation software (IPG CarMaker, PreScan, VTD Vires, SUM…
  ☆23Updated 3 years ago