A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations
- Gleifer Vaz Alves
- , Louise Dennis
- , Michael Fisher
Research output: Contribution to journal › Article › peer-review
104
Downloads
(Pure)