Cargando…

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking

Autonomous vehicles are gaining popularity throughout the world among researchers and consumers. However, their popularity has not yet reached the level where it is widely accepted as a fully developed technology as a large portion of the consumer base feels skeptical about it. Proving the correctne...

Descripción completa

Detalles Bibliográficos
Autores principales: Chouhan, Aaditya Prakash, Banda, Gourinath
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7472046/
https://www.ncbi.nlm.nih.gov/pubmed/32806594
http://dx.doi.org/10.3390/s20164506

Ejemplares similares