PolyVerif: An Open-Source Environment for Autonomous Vehicle Validation and Verification Research Acceleration.
Rahul RazdanMustafa Ilhan AkbasRaivo SellMauro BelloneMahesh MenaseMohsen MalayjerdiPublished in: IEEE Access (2023)
Keyphrases
- autonomous vehicles
- open source
- path planning
- real time
- mobile robot
- dynamic environments
- obstacle avoidance
- map building
- autonomous agents
- robot motion
- source code
- case study
- robot control
- urban environments
- indoor environments
- degrees of freedom
- model checking
- particle swarm optimization
- expert systems
- cooperative
- visual navigation