{"id":"https://openalex.org/W3122843217","doi":"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_16","title":"SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces","display_name":"SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3122843217","doi":"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_16","mag":"3122843217"},"language":"en","primary_location":{"id":"pmh:oai:repositum.tuwien.at:20.500.12708/15512","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12708/15512","pdf_url":"http://hdl.handle.net/20.500.12708/15512","source":{"id":"https://openalex.org/S4306400494","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Inproceedings"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/20.500.12708/15512","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078553769","display_name":"M. Fareed Arif","orcid":"https://orcid.org/0009-0003-5250-127X"},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Arif, M. Fareed","raw_affiliation_strings":["The University of Iowa,Department of Computer Science"],"affiliations":[{"raw_affiliation_string":"The University of Iowa,Department of Computer Science","institution_ids":["https://openalex.org/I126307644"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054784931","display_name":"Daniel Larraz","orcid":"https://orcid.org/0000-0001-5305-7340"},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Larraz, Daniel","raw_affiliation_strings":["The University of Iowa,Department of Computer Science"],"affiliations":[{"raw_affiliation_string":"The University of Iowa,Department of Computer Science","institution_ids":["https://openalex.org/I126307644"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081525347","display_name":"Mitziu Echeverria","orcid":null},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Echeverria, Mitziu","raw_affiliation_strings":["The University of Iowa,Department of Computer Science"],"affiliations":[{"raw_affiliation_string":"The University of Iowa,Department of Computer Science","institution_ids":["https://openalex.org/I126307644"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083954589","display_name":"Andrew Reynolds","orcid":"https://orcid.org/0000-0002-3529-8682"},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Reynolds, Andrew","raw_affiliation_strings":["The University of Iowa,Department of Computer Science"],"affiliations":[{"raw_affiliation_string":"The University of Iowa,Department of Computer Science","institution_ids":["https://openalex.org/I126307644"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070136662","display_name":"Omar Chowdhury","orcid":"https://orcid.org/0000-0002-1356-6279"},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chowdhury, Omar","raw_affiliation_strings":["The University of Iowa,Department of Computer Science"],"affiliations":[{"raw_affiliation_string":"The University of Iowa,Department of Computer Science","institution_ids":["https://openalex.org/I126307644"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046830049","display_name":"Cesare Tinelli","orcid":"https://orcid.org/0000-0002-6726-775X"},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tinelli, Cesare","raw_affiliation_strings":["The University of Iowa,Department of Computer Science"],"affiliations":[{"raw_affiliation_string":"The University of Iowa,Department of Computer Science","institution_ids":["https://openalex.org/I126307644"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5078553769"],"corresponding_institution_ids":["https://openalex.org/I126307644"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":14,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9983000159263611,"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"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9983000159263611,"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.9972000122070312,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9961000084877014,"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/computer-science","display_name":"Computer science","score":0.6025506854057312},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5921053886413574},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.5810303092002869},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5216153860092163},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4917438328266144},{"id":"https://openalex.org/keywords/sample","display_name":"Sample (material)","score":0.4362943470478058},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4355294108390808},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38458797335624695},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3429470658302307},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23452648520469666},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.15185770392417908}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6025506854057312},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5921053886413574},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5810303092002869},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5216153860092163},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4917438328266144},{"id":"https://openalex.org/C198531522","wikidata":"https://www.wikidata.org/wiki/Q485146","display_name":"Sample (material)","level":2,"score":0.4362943470478058},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4355294108390808},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38458797335624695},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3429470658302307},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23452648520469666},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.15185770392417908},{"id":"https://openalex.org/C43617362","wikidata":"https://www.wikidata.org/wiki/Q170050","display_name":"Chromatography","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}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:repositum.tuwien.at:20.500.12708/15512","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12708/15512","pdf_url":"http://hdl.handle.net/20.500.12708/15512","source":{"id":"https://openalex.org/S4306400494","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Inproceedings"},{"id":"doi:10.34727/2020/isbn.978-3-85448-042-6_16","is_oa":true,"landing_page_url":"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_16","pdf_url":null,"source":{"id":"https://openalex.org/S4306400493","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"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":"article"}],"best_oa_location":{"id":"pmh:oai:repositum.tuwien.at:20.500.12708/15512","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12708/15512","pdf_url":"http://hdl.handle.net/20.500.12708/15512","source":{"id":"https://openalex.org/S4306400494","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Inproceedings"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4546156968","display_name":null,"funder_award_id":"D19AP0003","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G6111281162","display_name":null,"funder_award_id":"1656926","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","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"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3122843217.pdf","grobid_xml":"https://content.openalex.org/works/W3122843217.grobid-xml"},"referenced_works_count":61,"referenced_works":["https://openalex.org/W30083809","https://openalex.org/W138607541","https://openalex.org/W148663991","https://openalex.org/W1513569578","https://openalex.org/W1526922602","https://openalex.org/W1700264732","https://openalex.org/W1740522204","https://openalex.org/W1796872423","https://openalex.org/W1805536084","https://openalex.org/W1908450151","https://openalex.org/W1912569824","https://openalex.org/W1975880855","https://openalex.org/W1989445634","https://openalex.org/W2023083005","https://openalex.org/W2045673642","https://openalex.org/W2049452590","https://openalex.org/W2060303158","https://openalex.org/W2063150593","https://openalex.org/W2093972407","https://openalex.org/W2105505307","https://openalex.org/W2109525524","https://openalex.org/W2111111494","https://openalex.org/W2111513652","https://openalex.org/W2122653500","https://openalex.org/W2130826964","https://openalex.org/W2132912000","https://openalex.org/W2141811956","https://openalex.org/W2149236697","https://openalex.org/W2155363127","https://openalex.org/W2159595840","https://openalex.org/W2159642664","https://openalex.org/W2160163251","https://openalex.org/W2242407529","https://openalex.org/W2287724167","https://openalex.org/W2294377302","https://openalex.org/W2399996323","https://openalex.org/W2403966573","https://openalex.org/W2468404022","https://openalex.org/W2474788619","https://openalex.org/W2526496292","https://openalex.org/W2532510078","https://openalex.org/W2783370231","https://openalex.org/W2792636363","https://openalex.org/W2793421149","https://openalex.org/W2794045175","https://openalex.org/W2807161818","https://openalex.org/W2807414027","https://openalex.org/W2901330051","https://openalex.org/W2929535634","https://openalex.org/W2932741641","https://openalex.org/W2945358264","https://openalex.org/W2946618605","https://openalex.org/W2947003210","https://openalex.org/W2953973768","https://openalex.org/W2956992268","https://openalex.org/W2963061006","https://openalex.org/W2981945897","https://openalex.org/W2987215725","https://openalex.org/W3008993478","https://openalex.org/W3023554972","https://openalex.org/W3144889436"],"related_works":["https://openalex.org/W2104717599","https://openalex.org/W2142853014","https://openalex.org/W1514845090","https://openalex.org/W2048780543","https://openalex.org/W2600774173","https://openalex.org/W2026209850","https://openalex.org/W3211181378","https://openalex.org/W2010904962","https://openalex.org/W1509545351","https://openalex.org/W2131842699","https://openalex.org/W3038945966","https://openalex.org/W77447793","https://openalex.org/W1539829525","https://openalex.org/W3186149862","https://openalex.org/W1602995535","https://openalex.org/W2296460510","https://openalex.org/W1605031929","https://openalex.org/W2065896142","https://openalex.org/W2953126593","https://openalex.org/W19698396"],"abstract_inverted_index":{"We":[0],"present":[1],"an":[2,55],"efficient":[3],"approach":[4,31,67],"to":[5,35,61],"learn":[6],"past-time":[7],"linear":[8],"temporal":[9,101],"logic":[10],"formulas":[11,102,107],"(PLTL)":[12],"from":[13],"a":[14,20,36,46,69,92],"set":[15],"of":[16,22,29,39,54,94,112],"propositional":[17],"variables":[18],"and":[19,51,73],"sample":[21],"finite":[23],"traces":[24],"over":[25,96],"those":[26],"variables.The":[27],"efficiency":[28],"our":[30,66],"can":[32],"be":[33],"attributed":[34],"careful":[37],"encoding":[38],"the":[40,52,63,105,109],"PLTL":[41],"formula":[42],"learning":[43,98,104],"problem":[44],"as":[45],"bit-vector":[47],"function":[48],"synthesis":[49],"problem,":[50],"use":[53],"enhanced":[56],"Syntax-Guided":[57],"Synthesis":[58],"(SyGuS)":[59],"engine":[60],"solve":[62],"latter.We":[64],"implemented":[65],"in":[68,108],"tool":[70],"called":[71],"SYSLITE":[72,88],"empirically":[74],"evaluated":[75],"its":[76],"efficacy":[77],"with":[78],"two":[79],"case":[80,83],"studies.In":[81],"these":[82],"studies,":[84],"we":[85],"observe":[86],"that":[87],"on":[89],"average":[90],"enjoys":[91],"speedup":[93],"44x":[95],"current":[97],"approaches":[99],"for":[100],"while":[103],"expected":[106],"vast":[110],"majority":[111],"cases.":[113]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}