乐胖代购免代理版

{"id":"https://openalex.org/W3046650501","doi":"https://doi.org/10.1177/02783649221082115","title":"Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods","display_name":"Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods","publication_year":2022,"publication_date":"2022-05-28","ids":{"openalex":"https://openalex.org/W3046650501","doi":"https://doi.org/10.1177/02783649221082115","mag":"3046650501"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1177/02783649221082115","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2008.00097","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071998024","display_name":"Karen Leung","orcid":"https://orcid.org/0000-0002-3033-8761"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Karen Leung","raw_affiliation_strings":["Stanford University, Stanford, CA, USA"],"affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068636555","display_name":"Nikos Ar\u00e9chiga","orcid":"https://orcid.org/0009-0005-5585-7006"},"institutions":[{"id":"https://openalex.org/I4391768151","display_name":"Toyota Research Institute","ror":"https://ror.org/04fpkc108","country_code":null,"type":"facility","lineage":["https://openalex.org/I4210125472","https://openalex.org/I4391768151"]},{"id":"https://openalex.org/I917207718","display_name":"Toyota Industries (United States)","ror":"https://ror.org/0132ebr60","country_code":"US","type":"company","lineage":["https://openalex.org/I4210125472","https://openalex.org/I4210145315","https://openalex.org/I917207718"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nikos Ar\u00e9chiga","raw_affiliation_strings":["Toyota Research Institute, Los Altos, CA, USA"],"affiliations":[{"raw_affiliation_string":"Toyota Research Institute, Los Altos, CA, USA","institution_ids":["https://openalex.org/I4391768151","https://openalex.org/I917207718"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050003000","display_name":"Marco Pavone","orcid":"https://orcid.org/0000-0002-0206-4337"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Marco Pavone","raw_affiliation_strings":["Stanford University, Stanford, CA, USA"],"affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5050003000"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":3.654,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.999876,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"42","issue":"6","first_page":"356","last_page":"370"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9996,"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.9996,"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.9984,"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/T10126","display_name":"Logic, programming, and type systems","score":0.994,"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","score":0.7735752}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7735752},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7293922},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.66302127},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.605988},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.49898958},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44667974},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32036805},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.25172225},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1177/02783649221082115","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2008.00097","pdf_url":"https://arxiv.org/pdf/2008.00097","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2008.00097","pdf_url":"https://arxiv.org/pdf/2008.00097","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320315934","funder_display_name":"Toyota Research Institute","award_id":null},{"funder":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research","award_id":"N00014-17-1-2433"}],"datasets":[],"versions":[],"referenced_works_count":27,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1547304883","https://openalex.org/W1796872423","https://openalex.org/W1992777946","https://openalex.org/W2004796166","https://openalex.org/W2023808162","https://openalex.org/W2064675550","https://openalex.org/W2071797744","https://openalex.org/W2092884371","https://openalex.org/W2116261113","https://openalex.org/W2164451522","https://openalex.org/W2470448410","https://openalex.org/W2524638160","https://openalex.org/W2567705466","https://openalex.org/W2616554232","https://openalex.org/W2621540998","https://openalex.org/W2735835737","https://openalex.org/W2784743256","https://openalex.org/W2785700716","https://openalex.org/W2899771611","https://openalex.org/W2922172279","https://openalex.org/W2963190533","https://openalex.org/W2964147651","https://openalex.org/W2967052728","https://openalex.org/W2972486407","https://openalex.org/W2979818850","https://openalex.org/W3120924814"],"related_works":["https://openalex.org/W4281727072","https://openalex.org/W4250956039","https://openalex.org/W4240485100","https://openalex.org/W4231775656","https://openalex.org/W2770593030","https://openalex.org/W2056130799","https://openalex.org/W2046435967","https://openalex.org/W2045758229","https://openalex.org/W2039460805","https://openalex.org/W1508899372"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,23,43,71,78,91,125,141],"technique,":[4],"named":[5],"STLCG,":[6],"to":[7,115],"compute":[8],"the":[9,27,165],"quantitative":[10,66],"semantics":[11,67],"of":[12,29,56,68,130,143,160],"Signal":[13],"Temporal":[14],"Logic":[15],"(STL)":[16],"formulas":[17,98,121],"using":[18],"computation":[19,100],"graphs.":[20,101],"STLCG":[21,153],"provides":[22],"platform":[24],"which":[25],"enables":[26],"incorporation":[28],"logical":[30],"specifications":[31,132],"into":[32,99,164],"robotics":[33,148],"problems":[34],"that":[35,49,74,152],"benefit":[36],"from":[37,146],"gradient-based":[38,135],"solutions.":[39],"Specifically,":[40],"STL":[41,69,84,96,119,131],"is":[42,154],"powerful":[44],"and":[45,53,62,105,122,127,158],"expressive":[46],"formal":[47],"language":[48],"can":[50],"specify":[51],"spatial":[52],"temporal":[54],"properties":[55],"signals":[57],"generated":[58],"by":[59,106],"both":[60],"continuous":[61],"hybrid":[63],"systems.":[64],"The":[65],"provide":[70],"robustness":[72,97,120],"metric,":[73],"is,":[75],"how":[76],"much":[77],"signal":[79],"satisfies":[80],"or":[81],"violates":[82],"an":[83],"specification.":[85],"In":[86],"this":[87,103],"work,":[88],"we":[89,112,150],"devise":[90],"systematic":[92],"methodology":[93],"for":[94],"translating":[95],"With":[102],"representation,":[104],"leveraging":[107],"off-the-shelf":[108],"automatic":[109],"differentiation":[110],"tools,":[111],"are":[113],"able":[114],"efficiently":[116],"backpropagate":[117],"through":[118],"hence":[123],"enable":[124],"natural":[126],"easy-to-use":[128],"integration":[129],"with":[133],"many":[134],"approaches":[136],"used":[137],"in":[138],"robotics.":[139],"Through":[140],"number":[142],"examples":[144],"stemming":[145],"various":[147],"applications,":[149],"demonstrate":[151],"versatile,":[155],"computationally":[156],"efficient,":[157],"capable":[159],"incorporating":[161],"human-domain":[162],"knowledge":[163],"problem":[166],"formulation.":[167]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3046650501","counts_by_year":[{"year":2024,"cited_by_count":14},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2025-01-04T08:32:18.501906","created_date":"2020-08-07"}