{"id":"https://openalex.org/W4396571459","doi":"https://doi.org/10.1145/3641513.3650180","title":"Temporal Behavior Trees: Robustness and Segmentation","display_name":"Temporal Behavior Trees: Robustness and Segmentation","publication_year":2024,"publication_date":"2024-05-02","ids":{"openalex":"https://openalex.org/W4396571459","doi":"https://doi.org/10.1145/3641513.3650180"},"language":"en","primary_location":{"id":"doi:10.1145/3641513.3650180","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3641513.3650180","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3641513.3650180","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077768481","display_name":"Sebastian Schirmer","orcid":"https://orcid.org/0000-0002-4596-2479"},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Schirmer","raw_affiliation_strings":["DLR German Aerospace Center, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4596-2479","affiliations":[{"raw_affiliation_string":"DLR German Aerospace Center, Germany","institution_ids":["https://openalex.org/I2898391981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050865876","display_name":"Jasdeep Singh","orcid":"https://orcid.org/0009-0000-2759-3721"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jasdeep Singh","raw_affiliation_strings":["University of Colorado Boulder, USA"],"raw_orcid":"https://orcid.org/0009-0000-2759-3721","affiliations":[{"raw_affiliation_string":"University of Colorado Boulder, USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033724875","display_name":"Emily Jensen","orcid":"https://orcid.org/0000-0002-1550-379X"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Emily Jensen","raw_affiliation_strings":["University of Colorado Boulder, USA"],"raw_orcid":"https://orcid.org/0000-0002-1550-379X","affiliations":[{"raw_affiliation_string":"University of Colorado Boulder, USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022341360","display_name":"Johann C. Dauer","orcid":"https://orcid.org/0000-0002-8287-2376"},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Johann Dauer","raw_affiliation_strings":["DLR German Aerospace Center, Germany"],"raw_orcid":"https://orcid.org/0000-0002-8287-2376","affiliations":[{"raw_affiliation_string":"DLR German Aerospace Center, Germany","institution_ids":["https://openalex.org/I2898391981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048189898","display_name":"Bernd Finkbeiner","orcid":"https://orcid.org/0000-0002-4280-8441"},"institutions":[{"id":"https://openalex.org/I4210128801","display_name":"Helmholtz Center for Information Security","ror":"https://ror.org/02njgxr09","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I4210128801"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernd Finkbeiner","raw_affiliation_strings":["CISPA Helmholtz Center for Information Security, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4280-8441","affiliations":[{"raw_affiliation_string":"CISPA Helmholtz Center for Information Security, Germany","institution_ids":["https://openalex.org/I4210128801"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103106502","display_name":"Sriram Sankaranarayanan","orcid":"https://orcid.org/0000-0001-7315-4340"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sriram Sankaranarayanan","raw_affiliation_strings":["University of Colorado Boulder, USA"],"raw_orcid":"https://orcid.org/0000-0001-7315-4340","affiliations":[{"raw_affiliation_string":"University of Colorado Boulder, USA","institution_ids":["https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8786,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.74591283,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"14"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"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.9983000159263611,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.9908999800682068,"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/T11574","display_name":"Artificial Intelligence in Games","score":0.9696000218391418,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.7773193120956421},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7374178767204285},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.7000788450241089},{"id":"https://openalex.org/keywords/segmentation","display_name":"Segmentation","score":0.5852296352386475},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4738878607749939},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.46935945749282837},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4530009627342224},{"id":"https://openalex.org/keywords/specification","display_name":"Specification","score":0.44589897990226746},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4297095537185669},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4167245626449585},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3492448329925537},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.2371971607208252}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7773193120956421},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7374178767204285},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.7000788450241089},{"id":"https://openalex.org/C89600930","wikidata":"https://www.wikidata.org/wiki/Q1423946","display_name":"Segmentation","level":2,"score":0.5852296352386475},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4738878607749939},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.46935945749282837},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4530009627342224},{"id":"https://openalex.org/C117222624","wikidata":"https://www.wikidata.org/wiki/Q7575010","display_name":"Specification","level":2,"score":0.44589897990226746},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4297095537185669},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4167245626449585},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3492448329925537},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2371971607208252},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3641513.3650180","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3641513.3650180","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},{"id":"pmh:oai:elib.dlr.de:204212","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3641513.3650180>.","pdf_url":"https://elib.dlr.de/204212/1/Segmentation_of_Temporal_Behavior_Trees.pdf","source":{"id":"https://openalex.org/S4377196266","display_name":"elib (German Aerospace Center)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2898391981","host_organization_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","host_organization_lineage":["https://openalex.org/I2898391981"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Konferenzbeitrag"},{"id":"pmh:oai:figshare.com:article/25879843","is_oa":true,"landing_page_url":"https://figshare.com/articles/conference_contribution/Temporal_Behavior_Trees_Robustness_and_Segmentation/25879843","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference contribution"},{"id":"doi:10.60882/cispa.25879843.v1","is_oa":true,"landing_page_url":"https://doi.org/10.60882/cispa.25879843.v1","pdf_url":null,"source":{"id":"https://openalex.org/S7407050916","display_name":"CISPA Helmholtz Center","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferenceProceeding"}],"best_oa_location":{"id":"doi:10.1145/3641513.3650180","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3641513.3650180","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7310172615","display_name":"CPS: Frontier: Collaborative Research: Cognitive Autonomy for Human CPS: Turning Novices into Experts","funder_award_id":"1836900","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W828139470","https://openalex.org/W1506101803","https://openalex.org/W1563854815","https://openalex.org/W1588269491","https://openalex.org/W1790612874","https://openalex.org/W1910406352","https://openalex.org/W1981227441","https://openalex.org/W2003768871","https://openalex.org/W2027769154","https://openalex.org/W2028637393","https://openalex.org/W2044206530","https://openalex.org/W2095274657","https://openalex.org/W2103976539","https://openalex.org/W2151958719","https://openalex.org/W2163299954","https://openalex.org/W2295885203","https://openalex.org/W2473183186","https://openalex.org/W2503635878","https://openalex.org/W2753034999","https://openalex.org/W3024044737","https://openalex.org/W3087780948","https://openalex.org/W3091875160","https://openalex.org/W3093255565","https://openalex.org/W3130272317","https://openalex.org/W3147040231","https://openalex.org/W4284699363","https://openalex.org/W4289538402","https://openalex.org/W4312865125","https://openalex.org/W4379519389","https://openalex.org/W4381233153"],"related_works":["https://openalex.org/W3088182729","https://openalex.org/W2077164759","https://openalex.org/W1591941310","https://openalex.org/W2884095124","https://openalex.org/W2079360995","https://openalex.org/W1885203194","https://openalex.org/W3108751660","https://openalex.org/W1900118484","https://openalex.org/W2164362143","https://openalex.org/W1583968582"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"temporal":[3,96],"behavior":[4,12],"trees":[5,13],"(TBT),":[6],"a":[7,32,36,57,65,70,76,109,113,119,130,137,147,189,204,207],"specification":[8,34,77,105,215],"formalism":[9],"inspired":[10],"by":[11],"that":[14,45,123,142],"are":[15,46,78,174],"commonly":[16],"used":[17,220],"to":[18,61,95,108,221],"program":[19],"robotic":[20],"applications.":[21],"We":[22,81,140],"then":[23,59],"introduce":[24,82],"the":[25,40,52,83,116,144,169,197],"concept":[26],"of":[27,51,56,75,87,146,191,200,227],"trace":[28,41,58,66,131,148],"segmentation,":[29],"wherein":[30],"given":[31],"TBT":[33,53,88,104,138,214],"and":[35,72,85,89,161,196,216,223,229],"trace,":[37],"we":[38,99,154],"split":[39],"optimally":[42],"into":[43,152],"sub-traces":[44],"associated":[47],"with":[48,106,166],"various":[49],"portions":[50,74],"specification.":[54,139],"Segmentation":[55],"serves":[60],"explain":[62],"precisely":[63],"how":[64,125,172,181,213],"satisfies":[67],"or":[68,127,135],"violates":[69],"specification,":[71],"which":[73],"actually":[79],"violated.":[80],"syntax":[84],"semantics":[86,102],"compare":[90],"their":[91],"expressiveness":[92],"in":[93,193,231],"relation":[94],"logic.":[97],"Next,":[98],"define":[100],"robustness":[101,117,145,160],"for":[103,158,163,203],"respect":[107],"trace.":[110],"Rather":[111],"than":[112],"Boolean":[114],"interpretation,":[115],"provides":[118],"real-valued":[120],"numerical":[121],"outcome":[122],"quantifies":[124],"close":[126],"far":[128],"away":[129],"is":[132],"from":[133],"satisfying":[134],"violating":[136],"show":[141],"computing":[143,159],"also":[149],"segments":[150],"it":[151],"subtraces.Finally,":[153],"provide":[155],"efficient":[156],"approximations":[157],"segmentation":[162,217],"long":[164],"traces":[165],"guarantees":[167],"on":[168,206],"result.We":[170],"demonstrate":[171,212],"segmentations":[173],"useful":[175],"through":[176,188],"applications":[177],"such":[178],"as":[179],"understanding":[180],"novice":[182],"users":[183],"pilot":[184],"an":[185],"aerial":[186],"vehicle":[187],"sequence":[190],"waypoints":[192],"desktop":[194],"experiments":[195],"offline":[198],"monitoring":[199],"automated":[201],"lander":[202],"drone":[205],"ship.":[208],"Our":[209],"case":[210],"studies":[211],"can":[218],"be":[219],"understand":[222],"interpret":[224],"complex":[225],"behaviors":[226],"humans":[228],"automation":[230],"cyber-physical":[232],"systems.":[233]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}