Work

A holistic approach for modeling and verification of human driver behavior

Year: 2015

Type: conference-paper

Source: International Conference on Wireless Networks and Mobile Communications (WINCOM)

DOI: 10.1109/wincom.2015.7381323

Authors: Afaf Bouhoute, Rachid Oucheikh, Yassine Zahraoui, Ismail Berrada

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2245404385

FWCI: 0.601

Cites: 13

Cited by: 4

Related to: 10