Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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.

This list was generated on Mon Apr 15 04:37:57 2024 BST.