{"id":"https://openalex.org/W3134612232","doi":null,"title":"GRIT: Verifiable Goal Recognition for Autonomous Driving using Decision Trees.","display_name":"GRIT: Verifiable Goal Recognition for Autonomous Driving using Decision Trees.","publication_year":2021,"publication_date":"2021-03-10","ids":{"openalex":"https://openalex.org/W3134612232","mag":"3134612232"},"language":"en","primary_location":{"id":"mag:3134612232","doi":null,"is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/2103.06113","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},"volume":null,"type":"preprint","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://export.arxiv.org/pdf/2103.06113","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021143655","display_name":"Cillian Brewitt","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cillian Brewitt","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069295532","display_name":"B\u00e1lint Gyevn\u00e1r","orcid":"https://orcid.org/0000-0003-0630-4315","observed_orcids":["https://orcid.org/0000-0003-0630-4315"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Balint Gyevnar","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-0630-4315","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5073739308","display_name":"Stefano V. Albrecht","orcid":"https://orcid.org/0000-0002-8735-1465","observed_orcids":["https://orcid.org/0000-0002-8735-1465"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stefano V. Albrecht","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-8735-1465","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.885699987411499,"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"}},"topics":[{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.885699987411499,"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"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.035599999129772186,"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/T10142","display_name":"Formal Methods in Verification","score":0.010999999940395355,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/goal-recognition","display_name":"goal recognition","score":0.9929999709129333},{"id":"https://openalex.org/keywords/autonomous-driving","display_name":"autonomous driving","score":0.9409999847412109},{"id":"https://openalex.org/keywords/decision-tree","display_name":"decision tree","score":0.9629999995231628},{"id":"https://openalex.org/keywords/model-interpretability","display_name":"model interpretability","score":0.7599999904632568},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.9879999756813049},{"id":"https://openalex.org/keywords/smt-solvers","display_name":"SMT solvers","score":0.8040000200271606},{"id":"https://openalex.org/keywords/vehicle-trajectory-prediction","display_name":"vehicle trajectory prediction","score":0.8679999709129333},{"id":"https://openalex.org/keywords/human-vehicle-interaction","display_name":"human-vehicle interaction","score":0.6470000147819519},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.7319999933242798}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7312385439872742},{"id":"https://openalex.org/C162451180","wikidata":"https://www.wikidata.org/wiki/Q4453370","display_name":"Grit","level":2,"score":0.6877111196517944},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6292941570281982},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.589625895023346},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.5628073215484619},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.5416287779808044},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5040854215621948},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.49019891023635864},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4858495891094208},{"id":"https://openalex.org/C2780440489","wikidata":"https://www.wikidata.org/wiki/Q5227278","display_name":"Data-driven","level":2,"score":0.45263421535491943},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.42148345708847046},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.1069171130657196},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0996796190738678},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C138496976","wikidata":"https://www.wikidata.org/wiki/Q175002","display_name":"Developmental psychology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:3134612232","doi":null,"is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/2103.06113","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null}],"best_oa_location":{"id":"mag:3134612232","doi":null,"is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/2103.06113","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3187402175","https://openalex.org/W6940529833","https://openalex.org/W4389666410","https://openalex.org/W3136869459","https://openalex.org/W3203105382","https://openalex.org/W3004919058","https://openalex.org/W4391217349","https://openalex.org/W3096988257","https://openalex.org/W3209862778","https://openalex.org/W3189552233"],"abstract_inverted_index":{"It":[0],"is":[1,50,53],"useful":[2],"for":[3,63,74,102],"autonomous":[4,48,75,103],"vehicles":[5,16,26,76,104],"to":[6,10,21,38,55,78,135],"have":[7,56],"the":[8,12,127,146],"ability":[9],"infer":[11],"goals":[13],"of":[14,83,112,132,156],"other":[15,25],"(goal":[17],"recognition),":[18],"in":[19,40],"order":[20],"safely":[22],"interact":[23],"with":[24,94],"and":[27,43,62,88,130,138,152],"predict":[28],"their":[29],"future":[30],"trajectories.":[31],"Goal":[32,92],"recognition":[33,72,100],"methods":[34,57,73],"must":[35],"be":[36,67,159],"fast":[37],"run":[39],"real":[41],"time":[42],"make":[44],"accurate":[45],"inferences.":[46],"As":[47],"driving":[49],"safety-critical,":[51],"it":[52],"important":[54],"which":[58,64,105],"are":[59,149],"human":[60,150],"interpretable":[61,87,151],"safety":[65],"can":[66,158],"formally":[68,160],"verified.":[69],"Existing":[70],"goal":[71,99],"fail":[77],"satisfy":[79],"all":[80],"four":[81],"objectives":[82],"being":[84],"fast,":[85],"accurate,":[86],"verifiable.":[89],"We":[90,143],"propose":[91],"Recognition":[93],"Interpretable":[95],"Trees":[96],"(GRIT),":[97],"a":[98],"system":[101],"achieves":[106],"these":[107],"objectives.":[108],"GRIT":[109,133,157],"makes":[110],"use":[111],"decision":[113],"trees":[114,148],"trained":[115],"on":[116,121],"vehicle":[117,123],"trajectory":[118,124],"data.":[119],"Evaluation":[120],"two":[122,139],"datasets":[125],"demonstrates":[126],"inference":[128],"speed":[129],"accuracy":[131],"compared":[134],"an":[136,163],"ablation":[137],"deep":[140],"learning":[141],"baselines.":[142],"show":[144],"that":[145],"learned":[147],"demonstrate":[153],"how":[154],"properties":[155],"verified":[161],"using":[162],"SMT":[164],"solver.":[165]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2021-03-15T00:00:00"}