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...
| Autores principales: | , |
|---|---|
| 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 |