{"id":"https://openalex.org/W4294691961","doi":"https://doi.org/10.23919/acc53348.2022.9867861","title":"Learning from Demonstrations under Stochastic Temporal Logic Constraints","display_name":"Learning from Demonstrations under Stochastic Temporal Logic Constraints","publication_year":2022,"publication_date":"2022-06-08","ids":{"openalex":"https://openalex.org/W4294691961","doi":"https://doi.org/10.23919/acc53348.2022.9867861"},"language":"en","primary_location":{"id":"doi:10.23919/acc53348.2022.9867861","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc53348.2022.9867861","pdf_url":null,"source":{"id":"https://openalex.org/S4363607732","display_name":"2022 American Control Conference (ACC)","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 American Control Conference (ACC)","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/A5065226049","display_name":"Panagiotis Kyriakis","orcid":"https://orcid.org/0000-0003-4841-060X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Panagiotis Kyriakis","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057473400","display_name":"Jyotirmoy V. Deshmukh","orcid":"https://orcid.org/0000-0003-4683-5540"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jyotirmoy V. Deshmukh","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5105925385","display_name":"Paul Bogdan","orcid":"https://orcid.org/0000-0003-2118-0816"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paul Bogdan","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5065226049"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7782,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.64521452,"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":"2598","last_page":"2603"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9934999942779541,"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.9934999942779541,"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.9610999822616577,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.960099995136261,"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/hyperplane","display_name":"Hyperplane","score":0.6785863637924194},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5988429188728333},{"id":"https://openalex.org/keywords/iterated-function","display_name":"Iterated function","score":0.5157273411750793},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.49576959013938904},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.49070966243743896},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46518129110336304},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4614931344985962},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.45037639141082764},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.42416831851005554},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.4234880805015564},{"id":"https://openalex.org/keywords/entropy","display_name":"Entropy (arrow of time)","score":0.4175984859466553},{"id":"https://openalex.org/keywords/inverse","display_name":"Inverse","score":0.41738513112068176},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4156702160835266},{"id":"https://openalex.org/keywords/principle-of-maximum-entropy","display_name":"Principle of maximum entropy","score":0.41189610958099365},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37283074855804443},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28235095739364624},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24823296070098877},{"id":"https://openalex.org/keywords/stochastic-programming","display_name":"Stochastic programming","score":0.2264196276664734},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09205946326255798}],"concepts":[{"id":"https://openalex.org/C68693459","wikidata":"https://www.wikidata.org/wiki/Q657586","display_name":"Hyperplane","level":2,"score":0.6785863637924194},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5988429188728333},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.5157273411750793},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.49576959013938904},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.49070966243743896},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46518129110336304},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4614931344985962},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.45037639141082764},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.42416831851005554},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.4234880805015564},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.4175984859466553},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.41738513112068176},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4156702160835266},{"id":"https://openalex.org/C9679016","wikidata":"https://www.wikidata.org/wiki/Q1417473","display_name":"Principle of maximum entropy","level":2,"score":0.41189610958099365},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37283074855804443},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28235095739364624},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24823296070098877},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.2264196276664734},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09205946326255798},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/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},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc53348.2022.9867861","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc53348.2022.9867861","pdf_url":null,"source":{"id":"https://openalex.org/S4363607732","display_name":"2022 American Control Conference (ACC)","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 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W64088143","https://openalex.org/W369898724","https://openalex.org/W1569657508","https://openalex.org/W1591675293","https://openalex.org/W2092884371","https://openalex.org/W2095274657","https://openalex.org/W2098774185","https://openalex.org/W2470448410","https://openalex.org/W2617250276","https://openalex.org/W2741248519","https://openalex.org/W2760388230","https://openalex.org/W2800016066","https://openalex.org/W2888279058","https://openalex.org/W2962787969","https://openalex.org/W2963562508","https://openalex.org/W2980304492","https://openalex.org/W2994446013","https://openalex.org/W3000757100","https://openalex.org/W3003764479","https://openalex.org/W3089737863","https://openalex.org/W3120789931","https://openalex.org/W4232512588","https://openalex.org/W4250589301","https://openalex.org/W4287327731","https://openalex.org/W6634230617","https://openalex.org/W6635261211","https://openalex.org/W6674884181","https://openalex.org/W6750881643","https://openalex.org/W6790543905","https://openalex.org/W6903351479"],"related_works":["https://openalex.org/W2369655046","https://openalex.org/W2019467317","https://openalex.org/W2468279273","https://openalex.org/W1585519779","https://openalex.org/W1965515989","https://openalex.org/W2088737283","https://openalex.org/W1999587863","https://openalex.org/W1929902734","https://openalex.org/W3104474499","https://openalex.org/W4376167435"],"abstract_inverted_index":{"We":[0,24],"address":[1],"the":[2,9,26,67,76,80,89,97],"problem":[3],"of":[4,49,79],"learning":[5,32],"from":[6],"demonstrations":[7],"when":[8],"learner":[10],"must":[11],"satisfy":[12],"safety":[13],"and/or":[14],"performance":[15],"requirements":[16],"expressed":[17],"as":[18],"Stochastic":[19],"Temporal":[20],"Logic":[21],"(StTL)":[22],"specifications.":[23,114],"extend":[25],"maximum":[27],"causal":[28],"entropy":[29],"inverse":[30],"reinforcement":[31],"framework":[33],"to":[34,42,74,99],"account":[35],"for":[36,102],"StTL":[37],"constraints":[38,101],"and":[39,87,113],"show":[40],"how":[41],"encode":[43],"them":[44],"via":[45],"a":[46,58],"minimal":[47],"set":[48],"mixed-integer":[50],"linear":[51],"constraints.":[52],"Our":[53,105],"method":[54],"is":[55],"based":[56],"on":[57],"cut-and-generate":[59],"algorithm":[60],"that":[61,83],"iterates":[62],"between":[63],"two":[64],"phases:":[65],"in":[66,88,110],"cut":[68],"phase,":[69,91],"we":[70,92],"use":[71],"cutting":[72],"hyperplanes":[73,95],"approximate":[75],"feasible":[77],"region":[78],"non-linear":[81],"constraint":[82],"encodes":[84],"atomic":[85],"predicates":[86],"generate":[90,100],"propagate":[93],"these":[94],"through":[96],"schematics":[98],"arbitrary":[103],"formulas.":[104],"algorithmic":[106],"contributions":[107],"are":[108],"validated":[109],"different":[111],"environments":[112]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}