A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations
Usually, the design of an Autonomous Vehicle (AV) does not take into account traffic rules and so the adoption of these rules can bring some challenges, e.g., how to come up with a Digital Highway Code which captures the proper behaviour of an AV against the traffic rules and at the same time minimi...
Main Authors: | Gleifer Vaz Alves, Louise Dennis, Michael Fisher |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2021-06-01
|
Series: | Journal of Sensor and Actuator Networks |
Subjects: | |
Online Access: | https://www.mdpi.com/2224-2708/10/3/41 |
Similar Items
-
Automated Rule Checking for MEP Systems Based on BIM and KBMS
by: Xuanfeng Xie, et al.
Published: (2022-07-01) -
Humans, machines, and double standards? The moral evaluation of the actions of autonomous vehicles, anthropomorphized autonomous vehicles, and human drivers in road-accident dilemmas
by: Maike M. Mayer, et al.
Published: (2023-01-01) -
BIM-Based Checking Method for the Mass Timber Industry
by: Chloé Paskoff, et al.
Published: (2023-06-01) -
Smart Roads for Autonomous Accident Detection and Warnings
by: Abdul Mateen, et al.
Published: (2022-03-01) -
Road Sign Board Direction and Location Extraction and Recognition for Autonomous Vehicle.
by: Kosar Rafeeq Tawfeeq ,Moayad Y. Potrus
Published: (2023-08-01)