{"id":"https://openalex.org/W2787783081","doi":"https://doi.org/10.1109/tase.2017.8285637","title":"A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation","display_name":"A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation","publication_year":2017,"publication_date":"2017-09-01","ids":{"openalex":"https://openalex.org/W2787783081","doi":"https://doi.org/10.1109/tase.2017.8285637","mag":"2787783081"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2017.8285637","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2017.8285637","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","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/A5045000548","display_name":"Bingqing Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bingqing Xu","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100624208","display_name":"Qin Li","orcid":"https://orcid.org/0000-0002-4687-7751"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qin Li","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2768,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.58974068,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11106","display_name":"Data Management and Algorithms","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/snapshot","display_name":"Snapshot (computer storage)","score":0.699320375919342},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6546282768249512},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6206514835357666},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5428817272186279},{"id":"https://openalex.org/keywords/decision-making","display_name":"Decision-making","score":0.5023324489593506},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.34990406036376953},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.22607120871543884},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15428689122200012}],"concepts":[{"id":"https://openalex.org/C55282118","wikidata":"https://www.wikidata.org/wiki/Q252683","display_name":"Snapshot (computer storage)","level":2,"score":0.699320375919342},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6546282768249512},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6206514835357666},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5428817272186279},{"id":"https://openalex.org/C122308676","wikidata":"https://www.wikidata.org/wiki/Q1331926","display_name":"Decision-making","level":3,"score":0.5023324489593506},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.34990406036376953},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.22607120871543884},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15428689122200012},{"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/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C2778813691","wikidata":"https://www.wikidata.org/wiki/Q1369832","display_name":"Purchasing","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2017.8285637","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2017.8285637","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7099999785423279,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W852874","https://openalex.org/W29365515","https://openalex.org/W165547515","https://openalex.org/W1539708367","https://openalex.org/W1879819495","https://openalex.org/W1980656680","https://openalex.org/W2011468699","https://openalex.org/W2079249289","https://openalex.org/W2101609656","https://openalex.org/W2104016983","https://openalex.org/W2123970780","https://openalex.org/W2131457664","https://openalex.org/W2168842447","https://openalex.org/W2264987684","https://openalex.org/W2521296615","https://openalex.org/W2577242451","https://openalex.org/W2617996533","https://openalex.org/W3022257115","https://openalex.org/W6600033781"],"related_works":["https://openalex.org/W2542847180","https://openalex.org/W3034994054","https://openalex.org/W2155226960","https://openalex.org/W2805712290","https://openalex.org/W2909129499","https://openalex.org/W2392087771","https://openalex.org/W2761598930","https://openalex.org/W2553994394","https://openalex.org/W2356600124","https://openalex.org/W3181327668"],"abstract_inverted_index":{"The":[0,154,170,242],"decision-making":[1,59,236],"module":[2],"on":[3,34,112,148,177,193],"an":[4,73,186,204,239],"autonomous":[5,240],"car":[6,41],"is":[7,55,68,84,223,246],"usually":[8],"a":[9,18,25,30,105,128,157,173,178,201,210,227,249],"periodic":[10],"program.":[11],"In":[12,43,71,100,123],"every":[13],"cycle,":[14],"the":[15,35,51,58,66,89,97,109,113,120,136,145,151,181,190,194,207,231,235],"program":[16,60,237],"makes":[17],"decision":[19],"such":[20,72],"as":[21,167,230],"acceleration,":[22],"brake,":[23],"initiating":[24],"lane":[26],"change":[27],"process":[28,32],"or":[29],"turn":[31],"based":[33],"current":[36,182],"traffic":[37,45,67,137,183],"information":[38,192],"gathered":[39],"from":[40],"sensors.":[42],"urban":[44],"with":[46,139,161,216,248],"mixed":[47],"type":[48],"of":[49,65,93,116,144,172,180,197,209,234,238,244,251],"vehicles,":[50],"real-time":[52],"performance":[53],"requirement":[54],"critical":[56],"for":[57,225],"while":[61],"acquiring":[62],"global":[63],"knowledge":[64],"less":[69],"practical.":[70],"environment,":[74],"communications":[75],"between":[76],"vehicles":[77],"are":[78],"unreliable":[79],"and":[80,164,185,203,218],"time-consuming,":[81],"so":[82,221],"it":[83,222],"often":[85],"difficult":[86],"to":[87,102,134],"know":[88],"exact":[90],"driving":[91,114,195],"decisions":[92,115,196],"other":[94,117,198],"cars":[95,118],"in":[96,119,150],"next":[98],"cycle.":[99],"order":[101],"guarantee":[103],"safety,":[104],"feasible":[106,224],"solution":[107],"requires":[108],"reasonable":[110],"estimation":[111,165,187,205],"near":[121,152],"future.":[122,153],"this":[124],"paper,":[125],"we":[126],"propose":[127],"BMML":[129,174,211,228,245],"(Bounded":[130],"Multi-dimensional":[131],"Modal":[132],"Logic)":[133],"specify":[135],"situations":[138],"spatio-temproral":[140],"properties":[141],"taking":[142,226],"account":[143],"estimated":[146],"evolvement":[147],"them":[149],"logic":[155,160],"contains":[156],"primitive":[158],"spatial":[159],"navigation":[162],"operators":[163,166],"modal":[168],"operators.":[169],"satisfaction":[171,208],"formula":[175,212,229],"depends":[176],"snapshot":[179,202],"condition":[184,233],"structure":[188],"capturing":[189],"believed":[191],"cars.":[199],"Given":[200],"structure,":[206],"can":[213],"be":[214],"determined":[215],"simple":[217],"deterministic":[219],"reasoning,":[220],"guard":[232],"car.":[241],"usage":[243],"illustrated":[247],"series":[250],"small":[252],"examples.":[253]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}