{"id":"https://openalex.org/W2055888454","doi":"https://doi.org/10.1109/iwcmc.2014.6906362","title":"A formal model of human driving behavior in vehicular networks","display_name":"A formal model of human driving behavior in vehicular networks","publication_year":2014,"publication_date":"2014-08-01","ids":{"openalex":"https://openalex.org/W2055888454","doi":"https://doi.org/10.1109/iwcmc.2014.6906362","mag":"2055888454"},"language":"en","primary_location":{"id":"doi:10.1109/iwcmc.2014.6906362","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwcmc.2014.6906362","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 International Wireless Communications and Mobile Computing Conference (IWCMC)","raw_type":"proceedings-article"},"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"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Afaf Bouhoute","raw_affiliation_strings":["LIM, USMBA, Fez, Morocco","LIM, Faculty of Science, USMBA, Fez, Morocco"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIM, USMBA, Fez, Morocco","institution_ids":[]},{"raw_affiliation_string":"LIM, Faculty of Science, USMBA, Fez, Morocco","institution_ids":[]}]},{"author_position":"middle","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":["LIM, USMBA, Fez, Morocco","LIM, Faculty of Science, USMBA, Fez, Morocco"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIM, USMBA, Fez, Morocco","institution_ids":[]},{"raw_affiliation_string":"LIM, Faculty of Science, USMBA, Fez, Morocco","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057256515","display_name":"Mohamed El Kamili","orcid":"https://orcid.org/0000-0001-8039-684X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mohamed El Kamili","raw_affiliation_strings":["LIM, USMBA, Fez, Morocco","LIM, Faculty of Science, USMBA, Fez, Morocco"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIM, USMBA, Fez, Morocco","institution_ids":[]},{"raw_affiliation_string":"LIM, 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":1.1276,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.74654867,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"231","last_page":"236"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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.9991999864578247,"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/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9918000102043152,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7878252267837524},{"id":"https://openalex.org/keywords/vehicular-ad-hoc-network","display_name":"Vehicular ad hoc network","score":0.7352829575538635},{"id":"https://openalex.org/keywords/cellular-automaton","display_name":"Cellular automaton","score":0.6432017087936401},{"id":"https://openalex.org/keywords/safer","display_name":"SAFER","score":0.6285617351531982},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.607231080532074},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6031762957572937},{"id":"https://openalex.org/keywords/intelligent-transportation-system","display_name":"Intelligent transportation system","score":0.5321205258369446},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5145236849784851},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43460750579833984},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.4130796492099762},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3885543644428253},{"id":"https://openalex.org/keywords/wireless-ad-hoc-network","display_name":"Wireless ad hoc network","score":0.34711402654647827},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2997676134109497},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.29004502296447754},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.24110183119773865},{"id":"https://openalex.org/keywords/transport-engineering","display_name":"Transport engineering","score":0.18193605542182922},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.14623627066612244},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1117517352104187}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7878252267837524},{"id":"https://openalex.org/C192448918","wikidata":"https://www.wikidata.org/wiki/Q682677","display_name":"Vehicular ad hoc network","level":4,"score":0.7352829575538635},{"id":"https://openalex.org/C35527583","wikidata":"https://www.wikidata.org/wiki/Q189156","display_name":"Cellular automaton","level":2,"score":0.6432017087936401},{"id":"https://openalex.org/C2776654903","wikidata":"https://www.wikidata.org/wiki/Q2601463","display_name":"SAFER","level":2,"score":0.6285617351531982},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.607231080532074},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6031762957572937},{"id":"https://openalex.org/C47796450","wikidata":"https://www.wikidata.org/wiki/Q508378","display_name":"Intelligent transportation system","level":2,"score":0.5321205258369446},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5145236849784851},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43460750579833984},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.4130796492099762},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3885543644428253},{"id":"https://openalex.org/C94523657","wikidata":"https://www.wikidata.org/wiki/Q4085781","display_name":"Wireless ad hoc network","level":3,"score":0.34711402654647827},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2997676134109497},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.29004502296447754},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.24110183119773865},{"id":"https://openalex.org/C22212356","wikidata":"https://www.wikidata.org/wiki/Q775325","display_name":"Transport engineering","level":1,"score":0.18193605542182922},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.14623627066612244},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1117517352104187},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iwcmc.2014.6906362","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwcmc.2014.6906362","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 International Wireless Communications and Mobile Computing Conference (IWCMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6800000071525574,"display_name":"Gender equality","id":"https://metadata.un.org/sdg/5"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W626646511","https://openalex.org/W1605630937","https://openalex.org/W1972441921","https://openalex.org/W1988049057","https://openalex.org/W1996335363","https://openalex.org/W2057842062","https://openalex.org/W2077886130","https://openalex.org/W2079756673","https://openalex.org/W2104425135","https://openalex.org/W2105834663","https://openalex.org/W2214531724","https://openalex.org/W2395867904","https://openalex.org/W3022429701","https://openalex.org/W6620037352","https://openalex.org/W6688176251","https://openalex.org/W6712352212"],"related_works":["https://openalex.org/W2953205341","https://openalex.org/W235065745","https://openalex.org/W2029935773","https://openalex.org/W2787754950","https://openalex.org/W1572215850","https://openalex.org/W1985775355","https://openalex.org/W2352115286","https://openalex.org/W2070120713","https://openalex.org/W2802293874","https://openalex.org/W4312661457"],"abstract_inverted_index":{"Vehicular":[0],"Ad-hoc":[1],"Networks":[2],"(VANET)":[3],"are":[4,22,80],"considered":[5],"as":[6,69,84],"a":[7,12,23,46,49,56,62,90,123,129,159],"promising":[8],"approach":[9,87,126,179],"for":[10,16,169],"building":[11],"variety":[13],"of":[14,25,42,58,61,93,100,113,116,155,158,161],"applications":[15],"Intelligent":[17],"Transportation":[18],"Systems":[19],"(ITS).":[20],"They":[21],"kind":[24],"mobile":[26],"networks":[27],"that":[28,88,133],"enables":[29],"moving":[30],"vehicles":[31],"to":[32,52,73,104,127,137,164,180,185,196,211],"exchange":[33],"information":[34,43,67],"about":[35],"the":[36,40,59,111,143,182,186,198,202,212],"driving":[37,95,130,188],"environment.":[38],"Although":[39],"amount":[41],"disseminated":[44],"through":[45],"VANET":[47],"provides":[48],"great":[50],"opportunity":[51],"enhance":[53],"traffic":[54,117],"safety,":[55],"study":[57],"behavior":[60,78,109,131,200],"human":[63,94],"driver":[64,108,199],"towards":[65],"this":[66,101],"remains":[68],"an":[70,85,138,156,174],"important":[71,86],"axis":[72],"ensure":[74],"safer":[75],"roads.":[76],"Driving":[77],"models":[79],"proposed":[81],"by":[82],"researchers":[83],"allows":[89],"better":[91],"understanding":[92],"behavior.":[96,189],"The":[97,190],"main":[98],"goal":[99],"paper":[102],"is":[103],"model":[105,132,144,170,183,192],"and":[106,207],"learn":[107],"in":[110,201],"presence":[112],"different":[114],"type":[115],"information.":[118],"For":[119],"this,":[120],"we":[121,145,172],"propose":[122,173],"new":[124],"formal":[125],"construct":[128,181],"will":[134],"be":[135,194],"adapted":[136],"individual":[139],"driver.":[140,213],"To":[141],"describe":[142],"define":[146],"rectangular":[147],"hybrid":[148,165],"input":[149],"output":[150],"automata":[151,166],"formalism":[152],"which":[153],"consists":[154],"adaptation":[157],"set":[160],"notions":[162],"related":[163],"concept.":[167],"Then":[168],"construction,":[171],"online":[175],"passive":[176],"learning":[177],"based":[178],"according":[184],"observed":[187],"constructed":[191],"may":[193],"useful":[195],"predict":[197],"future,":[203],"prevent":[204],"unsafe":[205],"situations":[206],"provide":[208],"more":[209],"comfort":[210]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}