# A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations

> Research article (Journal of Sensor and Actuator Networks, 2021) · cited 18× · AI/ML

**Wikidata**: [openalex:W3173358868](https://www.wikidata.org/wiki/openalex:W3173358868)  
**Source**: https://4ort.xyz/entity/a-double-level-model-checking-approach-for-an-agent-based-autonomous-vehicle-and-road-junction-regulations