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...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2024-01-01
|
| Series: | IEEE Open Journal of Vehicular Technology |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10496854/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|