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: | 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
-
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
por: Farrell, Marie, et al.
Publicado: (2022) -
Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach
por: Foughali, Mohammed, et al.
Publicado: (2022) -
Formal verification - Robust and efficient code: Introduction to Formal Verification
por: ALBERTSSON, Kim
Publicado: (2016) -
Formal Verification - Robust and Efficient code: Why Formal Verification
por: ALBERTSSON, Kim
Publicado: (2016) -
Semi-formal Reformulation of Requirements for Formal Property Verification
por: Ceesay-Seitz, Katharina, et al.
Publicado: (2020)