A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques
Traffic conflict techniques enable a comprehensive assessment of traffic safety analysis. Formal methods allow the identification of factors that contribute to traffic safety issues and provide evidence of potential safety degradation. As such, formal methods provide a novel way to model traffic rul...
Na minha lista:
| Principais autores: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
IEEE
2024-01-01
|
| coleção: | IEEE Open Journal of Vehicular Technology |
| Assuntos: | |
| Acesso em linha: | https://ieeexplore.ieee.org/document/10496854/ |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|