Login / Signup
PolyVerif: An Open-Source Environment for Autonomous Vehicle Validation and Verification Research Acceleration.
Rahul Razdan
Mustafa Ilhan Akbas
Raivo Sell
Mauro Bellone
Mahesh Menase
Mohsen Malayjerdi
Published 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