{"id":"https://openalex.org/W2245404385","doi":"https://doi.org/10.1109/wincom.2015.7381323","title":"A holistic approach for modeling and verification of human driver behavior","display_name":"A holistic approach for modeling and verification of human driver behavior","publication_year":2015,"publication_date":"2015-10-01","ids":{"openalex":"https://openalex.org/W2245404385","doi":"https://doi.org/10.1109/wincom.2015.7381323","mag":"2245404385"},"language":"en","primary_location":{"id":"doi:10.1109/wincom.2015.7381323","doi":"https://doi.org/10.1109/wincom.2015.7381323","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wincom.2015.7381323","pdf_url":null,"source":{"id":"https://openalex.org/S7407089118","display_name":"International Conference on Wireless Networks and Mobile Communications (WINCOM)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 International Conference on Wireless Networks and Mobile Communications (WINCOM)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026982164","display_name":"Afaf Bouhoute","orcid":"https://orcid.org/0000-0001-7741-7849","observed_orcids":["https://orcid.org/0000-0001-7741-7849"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Afaf Bouhoute","raw_affiliation_strings":["LIMS Faculty of Science, USMBA, Fez, Morocco"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIMS Faculty of Science, USMBA, Fez, Morocco","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083319793","display_name":"Rachid Oucheikh","orcid":"https://orcid.org/0000-0001-9996-9759","observed_orcids":["https://orcid.org/0000-0001-9996-9759"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rachid Oucheikh","raw_affiliation_strings":["LIMS Faculty of Science, USMBA, Fez, Morocco"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIMS Faculty of Science, USMBA, Fez, Morocco","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yassine Zahraoui","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yassine Zahraoui","raw_affiliation_strings":["LIMS Faculty of Science, USMBA, Fez, Morocco"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIMS Faculty of Science, USMBA, Fez, Morocco","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091770877","display_name":"Isma\u00efl Berrada","orcid":"https://orcid.org/0000-0003-4225-911X","observed_orcids":["https://orcid.org/0000-0003-4225-911X","https://orcid.org/0009-0000-1860-7271"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ismail Berrada","raw_affiliation_strings":["LIMS Faculty of Science, USMBA, Fez, Morocco"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIMS Faculty of Science, USMBA, Fez, Morocco","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6009,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.60312349,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9398999810218811,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9398999810218811,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10525","display_name":"Human-Automation Interaction and Safety","score":0.012600000016391277,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.006899999920278788,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/driver-behavior-modeling","display_name":"driver behavior modeling","score":0.8420000076293945},{"id":"https://openalex.org/keywords/driver-vehicle-interaction","display_name":"driver-vehicle interaction","score":0.5720000267028809},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.6570000052452087},{"id":"https://openalex.org/keywords/intelligent-vehicles","display_name":"intelligent vehicles","score":0.3970000147819519}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7672035694122314},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6457735300064087},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.5694271326065063},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5133010745048523},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5126115679740906},{"id":"https://openalex.org/C87833898","wikidata":"https://www.wikidata.org/wiki/Q1060280","display_name":"Advanced driver assistance systems","level":2,"score":0.49843668937683105},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4228718876838684},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31163549423217773},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16425654292106628},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/wincom.2015.7381323","doi":"https://doi.org/10.1109/wincom.2015.7381323","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wincom.2015.7381323","pdf_url":null,"source":{"id":"https://openalex.org/S7407089118","display_name":"International Conference on Wireless Networks and Mobile Communications (WINCOM)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 International Conference on Wireless Networks and Mobile Communications (WINCOM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W145533945","https://openalex.org/W228833737","https://openalex.org/W336180229","https://openalex.org/W1528532260","https://openalex.org/W1968082040","https://openalex.org/W1980491204","https://openalex.org/W2057842062","https://openalex.org/W2101777007","https://openalex.org/W2118721394","https://openalex.org/W2142943908","https://openalex.org/W2319542951","https://openalex.org/W2565361214","https://openalex.org/W4206318630"],"related_works":["https://openalex.org/W2319542951","https://openalex.org/W336180229","https://openalex.org/W2055888454","https://openalex.org/W2991536809","https://openalex.org/W2625535353","https://openalex.org/W2983331504","https://openalex.org/W1512521472","https://openalex.org/W3129704500","https://openalex.org/W1993182816","https://openalex.org/W2889126556"],"abstract_inverted_index":{"Driver":[0],"behavior":[1,99,113],"has":[2],"long":[3],"been":[4],"considered":[5],"as":[6,152,166],"particularly":[7],"relevant":[8],"for":[9,125,141],"the":[10,26,33,38,83,86,88,91,97,106,112,126,143,169,175,184,200,214],"development":[11],"of":[12,40,54,60,68,85,108,114,130,149,174,183,191,202,211,213],"automotive":[13],"applications,":[14],"especially":[15],"that":[16,74],"recently":[17],"these":[18],"applications":[19],"are":[20],"increasingly":[21],"trying":[22],"to":[23,25,42,45,78,224,228],"adapt":[24],"driver.":[27],"However,":[28],"drivers":[29,49],"behave":[30],"differently":[31],"in":[32,117,218],"different":[34,229],"traffic":[35,230],"situations,":[36],"hence":[37,94],"need":[39],"techniques":[41],"enable":[43],"cars":[44,61],"learn":[46],"from":[47],"their":[48],"and":[50,71,90,110,128,145,186,195],"create":[51],"a":[52,115,131,138,153,180,208],"model":[53,176,216],"his":[55],"behavior.":[56,204],"Actually,":[57],"future":[58],"generation":[59],"will":[62,75,198],"be":[63],"equipped":[64],"with":[65],"all":[66,80],"sorts":[67],"sensing,":[69],"computing":[70],"communication":[72],"devices":[73],"allow":[76],"them":[77],"acquire":[79],"information":[81,162],"about":[82,163],"state":[84],"vehicle,":[87],"driver":[89,116],"environment.":[92],"And,":[93],"make":[95],"easier":[96],"driving":[98,133,164,203],"learning":[100,111],"process.":[101],"The":[102,172,189],"present":[103,207],"paper":[104],"addresses":[105],"problem":[107],"modeling":[109,142],"an":[118,123],"intelligent":[119],"car":[120],"by":[121],"presenting":[122],"approach":[124],"construction":[127,173],"verification":[129,201,210],"learned":[132],"model.":[134],"First,":[135],"we":[136],"propose":[137],"new":[139],"way":[140],"driver-vehicle":[144,151,185],"environment,":[146],"which":[147],"consists":[148],"considering":[150],"rectangular":[154,192],"hybrid":[155],"input":[156],"output":[157],"automaton":[158,170],"while":[159],"representing":[160],"contextual":[161],"environment":[165,187],"conditions":[167,197],"on":[168],"variables.":[171],"is":[177],"ensured":[178],"through":[179],"continuous":[181],"monitoring":[182],"system.":[188],"use":[190],"predicate":[193],"states":[194],"environmental":[196],"facilitate":[199],"We":[205],"then":[206],"formal":[209],"properties":[212],"constructed":[215],"expressed":[217],"Probabilistic":[219],"Computational":[220],"Tree":[221],"Logic":[222],"(PCTL)":[223],"assess":[225],"its":[226],"convenience":[227],"situations.":[231]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}