{"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","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wincom.2015.7381323","pdf_url":null,"source":null,"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"},"type":"article","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"},"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"},"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":"https://openalex.org/A5025907530","display_name":"Yassine Zahraoui","orcid":"https://orcid.org/0000-0003-2308-9784"},"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"},"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":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7268,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.75843014,"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.9993000030517578,"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.9993000030517578,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9911999702453613,"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/computer-science","display_name":"Computer science","score":0.7672035694122314},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6457735300064087},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.5694271326065063},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5133010745048523},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5126115679740906},{"id":"https://openalex.org/keywords/advanced-driver-assistance-systems","display_name":"Advanced driver assistance systems","score":0.49843668937683105},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.4228718876838684},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31163549423217773},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16425654292106628}],"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","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wincom.2015.7381323","pdf_url":null,"source":null,"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":[{"id":"https://metadata.un.org/sdg/15","score":0.4099999964237213,"display_name":"Life in Land"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"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/W3022429701","https://openalex.org/W4206318630","https://openalex.org/W6699840735"],"related_works":["https://openalex.org/W4382644535","https://openalex.org/W2522768275","https://openalex.org/W2352938035","https://openalex.org/W2351672553","https://openalex.org/W2373392303","https://openalex.org/W2765894405","https://openalex.org/W1884735063","https://openalex.org/W2372668238","https://openalex.org/W2560421750","https://openalex.org/W2773753696"],"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":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}