# Safety Verification of Driving Resource Occupancy Rules Based on Functional Language
## 4 CSP\({}_{\text{M}}\) Definition
### Analysis of Resource Occupation Rules
(2019) [PERSON]; [PERSON]; [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON] Perceived safety and attributed value as predictors of the intention to use autonomous vehicles: A national study with Spanish drivers. _Saf. Sci._**2019**, _120_, 865-876. [CrossRef]
* [PERSON] et al. (2021) [PERSON]; [PERSON]; [PERSON]; Useche, S.A. Is there a predisposition towards the use of new technologies within the traffic field of emerging countries? The case of the Dominican Republic. _Electronics_**2021**, _10_, 1208. [CrossRef]
* [PERSON] et al. (2022) Useche, S.A.; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] Assessing the effect of drivers' gender on their intention to use fully automated vehicles. _Appl. Sci._**2022**, _12_, 103. [CrossRef]
* [PERSON] et al. (2018) [PERSON]; [PERSON]; [PERSON] Driver error or designer error: Using the perceptual cycle model to explore the circumstances surrounding the fatal Tesla crash on 7 th May 2016. _Saf. Sci._**2018**, _108_, 278-285. [CrossRef]
* [PERSON] and [PERSON] (2019) [PERSON]; [PERSON] [PERSON] Enabling pedestrian safety using computer vision techniques: A case study of the 2018 uber inc. In Proceedings of the self-driving car crash//Future of Information and Communication Conference, San Francisco, CA, USA, 14-15 March 2019; Springer: Cham, Switzerland, 2019; pp. 261-279. * [PERSON] (2019) [PERSON] _Research on Formal Modeling and Verification for Safety Analysis of Autonomous Driving_; East China Normal University: Shanghai, China, 2019. * [PERSON] et al. (2018) [PERSON]; [PERSON]; [PERSON] Formal method for verifying BPEL model used by functional programming language. _J. Front. Comput. Sci. Technol._**2018**, _12_, 185-196. * [PERSON] (1978) [PERSON]. Communicating sequential processes. _Commun. ACM_**1978**, _21_, 666-677. [CrossRef]
* Available online: [[https://cocotec.io/fdr/](https://cocotec.io/fdr/)]([https://cocotec.io/fdr/](https://cocotec.io/fdr/)) (accessed on 15 January 2022). * [PERSON] et al. (2019) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Learning-based probabilistic modeling and verifying driver behavior using MDP. In Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), Guilin, China, 29-31 July 2019; IEEE: Piscataway, NJ, USA, 2019; pp. 152-159. * [PERSON] et al. (2019) [PERSON]; [PERSON]; [PERSON]; [PERSON] Scalable place recognition under appearance change for autonomous driving. In Proceedings of the IEEE/CVF International Conference on Computer Vision, Seoul, Korea, 27-28 October 2019; pp. 9319-9328. * [PERSON] and [PERSON] (2015) [PERSON]; [PERSON]; [PERSON] Augmented vehicle tracking under occlusions for decision-making in autonomous driving. In Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Hamburg, Germany, 28 September-3 October 2015; IEEE: Piscataway, NJ, USA, 2015; pp. 3559-3565. * [PERSON] et al. (2017) [PERSON]; [PERSON]; [PERSON]; [PERSON] \"Stop over there\": Natural gesture and speech interaction for non-critical spontaneous intervention in autonomous driving. In Proceedings of the 19 th ACM International Conference on Multimodal Interaction, Glasgow, UK, 13-17 November 2017; pp. 91-100. * [PERSON] and [PERSON] (2019) [PERSON]; [PERSON]; [PERSON] [PERSON] Design of variable traffic light control systems for preventing two-way grid network traffic jams using timed Petri nets. _IEEE Trans. Intell. Transp. Syst._**2019**, _21_, 3117-3127. [CrossRef]
* [PERSON] et al. (2020) [PERSON]; [PERSON]; [PERSON] Comprehensive review of autonomous taxi dispatching systems. _Comput. Sci._**2020**, _47_, 181-189. * [PERSON] et al. (2017) [PERSON]; [PERSON]; [PERSON]; [PERSON] Distributed simulation platform for autonomous driving. In Proceedings of the International Conference on Internet of Vehicles, Kanazawa, Japan, 22-25 November 2017; Springer: Cham, Switzerland, 2017; pp. 190-200. * [PERSON] et al. (2019) [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON] Intelligent-prediction model of safety-risk for CBTC system by deep neural network.