Up a level |
Number of items: 1.
Alves, Gleifer Vaz, Dennis, Louise ORCID: 0000-0003-1426-1896 and Fisher, Michael
(2021)
A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations.
JOURNAL OF SENSOR AND ACTUATOR NETWORKS, 10 (3).
p. 41.