Login / Signup
Mahesh Menase
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Map Building
Robot Motion
Urban Environments
Model Checking
Top Venues
IEEE Access
</>
Publications
</>
Rahul Razdan
,
Mustafa Ilhan Akbas
,
Raivo Sell
,
Mauro Bellone
,
Mahesh Menase
,
Mohsen Malayjerdi
PolyVerif: An Open-Source Environment for Autonomous Vehicle Validation and Verification Research Acceleration.
IEEE Access
11 (2023)