{"id":"https://openalex.org/W4312841741","doi":"https://doi.org/10.1109/iros47612.2022.9982233","title":"Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks","display_name":"Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks","publication_year":2022,"publication_date":"2022-10-23","ids":{"openalex":"https://openalex.org/W4312841741","doi":"https://doi.org/10.1109/iros47612.2022.9982233"},"language":"en","primary_location":{"id":"doi:10.1109/iros47612.2022.9982233","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros47612.2022.9982233","pdf_url":null,"source":{"id":"https://openalex.org/S4363607704","display_name":"2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","issn_l":null,"issn":null,"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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"},"type":"article","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/A5071153714","display_name":"Guy Scher","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Guy Scher","raw_affiliation_strings":["Sibley School of Mechanical and Aerospace Engineering, Cornell University,Ithaca,NY,USA,14850"],"affiliations":[{"raw_affiliation_string":"Sibley School of Mechanical and Aerospace Engineering, Cornell University,Ithaca,NY,USA,14850","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034408879","display_name":"Sadra Sadraddini","orcid":"https://orcid.org/0000-0003-2578-8319"},"institutions":[{"id":"https://openalex.org/I4210116723","display_name":"Robotics Research (United States)","ror":"https://ror.org/020w2fr77","country_code":"US","type":"company","lineage":["https://openalex.org/I4210116723"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sadra Sadraddini","raw_affiliation_strings":["Dexai Robotics,Boston,MA,USA","Dexai Robotics, Boston, MA, USA"],"affiliations":[{"raw_affiliation_string":"Dexai Robotics,Boston,MA,USA","institution_ids":["https://openalex.org/I4210116723"]},{"raw_affiliation_string":"Dexai Robotics, Boston, MA, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020074157","display_name":"Hadas Kress\u2010Gazit","orcid":"https://orcid.org/0000-0002-7754-1011"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hadas Kress-Gazit","raw_affiliation_strings":["Sibley School of Mechanical and Aerospace Engineering, Cornell University,Ithaca,NY,USA,14850"],"affiliations":[{"raw_affiliation_string":"Sibley School of Mechanical and Aerospace Engineering, Cornell University,Ithaca,NY,USA,14850","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5071153714"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":0.7771,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67326733,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"108","issue":null,"first_page":"1269","last_page":"1275"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9904999732971191,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9898999929428101,"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/robustness","display_name":"Robustness (evolution)","score":0.7928601503372192},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7103787660598755},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6564425826072693},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.47214654088020325},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.42870843410491943},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.3793449401855469},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32554128766059875},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.28289175033569336},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24950531125068665}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7928601503372192},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7103787660598755},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6564425826072693},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.47214654088020325},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.42870843410491943},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.3793449401855469},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32554128766059875},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28289175033569336},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24950531125068665},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iros47612.2022.9982233","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros47612.2022.9982233","pdf_url":null,"source":{"id":"https://openalex.org/S4363607704","display_name":"2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","issn_l":null,"issn":null,"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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W131069610","https://openalex.org/W1498432697","https://openalex.org/W1533557569","https://openalex.org/W1827164023","https://openalex.org/W1965640670","https://openalex.org/W2034592322","https://openalex.org/W2071797744","https://openalex.org/W2092884371","https://openalex.org/W2095274657","https://openalex.org/W2101804404","https://openalex.org/W2117927826","https://openalex.org/W2150335178","https://openalex.org/W2151958719","https://openalex.org/W2254640530","https://openalex.org/W2470448410","https://openalex.org/W2602257487","https://openalex.org/W2743098504","https://openalex.org/W2784743256","https://openalex.org/W2841721725","https://openalex.org/W2905277694","https://openalex.org/W2963613342","https://openalex.org/W2963931816","https://openalex.org/W2968608911","https://openalex.org/W3021487874","https://openalex.org/W3031140285","https://openalex.org/W3097154153","https://openalex.org/W3135649364","https://openalex.org/W3156258415","https://openalex.org/W4210580908","https://openalex.org/W4212774754","https://openalex.org/W4226470579","https://openalex.org/W6680079412","https://openalex.org/W6766978945","https://openalex.org/W6768914977"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W2122871747","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W3114279067","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W4285022830","https://openalex.org/W4232446061"],"abstract_inverted_index":{"We":[0,22,84],"develop":[1],"a":[2,91,95],"method":[3],"for":[4,8],"synthesizing":[5],"control":[6],"policies":[7],"stochastic,":[9],"linear,":[10],"time-varying":[11],"systems":[12,45],"that":[13,29,76],"must":[14],"perform":[15],"tasks":[16],"specified":[17],"in":[18,49,98],"signal":[19],"temporal":[20,50],"logic.":[21],"build":[23],"upon":[24],"an":[25],"efficient,":[26],"sampling-based":[27],"framework":[28],"computes":[30],"the":[31,34,41,58,78,82],"probability":[32,60],"of":[33,43,57,80,90],"system":[35],"satisfying":[36,81],"its":[37],"specification.":[38,83],"By":[39],"exploiting":[40],"properties":[42],"linear":[44],"and":[46,94],"robustness":[47],"score":[48],"logic":[51],"specifications,":[52],"we":[53,71],"obtain":[54,72],"sample-efficient":[55],"gradients":[56],"satisfaction":[59],"with":[61],"respect":[62],"to":[63],"con-troller":[64],"parameters.":[65],"Therefore,":[66],"by":[67],"applying":[68],"gradient":[69],"descent":[70],"locally":[73],"optimized":[74],"controllers":[75],"maximize":[77],"chances":[79],"demonstrate":[85],"our":[86],"approach":[87],"through":[88],"examples":[89],"mobile":[92,96],"robot":[93],"manipulator":[97],"simulation.":[99]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}