{"id":"https://openalex.org/W7166723204","doi":"https://doi.org/10.48550/arxiv.2606.30163","title":"End-to-End Abstraction-Based Control with LLM-Enhanced NL-to-LTL Translation","display_name":"End-to-End Abstraction-Based Control with LLM-Enhanced NL-to-LTL Translation","publication_year":2026,"publication_date":"2026-06-29","ids":{"openalex":"https://openalex.org/W7166723204","doi":"https://doi.org/10.48550/arxiv.2606.30163"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.30163","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.30163","pdf_url":null,"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":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.30163","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139708782","display_name":"Amir Bayat","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bayat, Amir","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054418471","display_name":"Necmiye \u00d6zay","orcid":"https://orcid.org/0000-0002-5552-4392"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ozay, Necmiye","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139699574","display_name":"Alessandro Abate","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Abate, Alessandro","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5139676412","display_name":"Raphael M. Jungers","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jungers, Raphael M.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"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/T10142","display_name":"Formal Methods in Verification","score":0.9223999977111816,"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.9223999977111816,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.009100000374019146,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T13286","display_name":"Modeling and Simulation Systems","score":0.007799999788403511,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.5853999853134155},{"id":"https://openalex.org/keywords/interfacing","display_name":"Interfacing","score":0.5077000260353088},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.46399998664855957},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4602999985218048},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.4262999892234802},{"id":"https://openalex.org/keywords/abstract-syntax","display_name":"Abstract syntax","score":0.4223000109195709},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4187999963760376},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.41670000553131104},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4163999855518341},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.40790000557899475}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7598999738693237},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6068000197410583},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.5853999853134155},{"id":"https://openalex.org/C2776303644","wikidata":"https://www.wikidata.org/wiki/Q1020499","display_name":"Interfacing","level":2,"score":0.5077000260353088},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.46399998664855957},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4602999985218048},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.4262999892234802},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.4223000109195709},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4187999963760376},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.41670000553131104},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4163999855518341},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.40790000557899475},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.3946000039577484},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.3939000070095062},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.34619998931884766},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.3269999921321869},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.3237999975681305},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.3158000111579895},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31130000948905945},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.3102000057697296},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30790001153945923},{"id":"https://openalex.org/C171553443","wikidata":"https://www.wikidata.org/wiki/Q373045","display_name":"Formal grammar","level":3,"score":0.30480000376701355},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.29910001158714294},{"id":"https://openalex.org/C95318506","wikidata":"https://www.wikidata.org/wiki/Q6588467","display_name":"Textual entailment","level":3,"score":0.2980000078678131},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.2915000021457672},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.29089999198913574},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.27549999952316284},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.27160000801086426},{"id":"https://openalex.org/C98199350","wikidata":"https://www.wikidata.org/wiki/Q978442","display_name":"Dynamic and formal equivalence","level":3,"score":0.26980000734329224},{"id":"https://openalex.org/C185954173","wikidata":"https://www.wikidata.org/wiki/Q4347052","display_name":"Object language","level":3,"score":0.26510000228881836},{"id":"https://openalex.org/C58646249","wikidata":"https://www.wikidata.org/wiki/Q127380","display_name":"Abstract syntax tree","level":3,"score":0.26499998569488525},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.2612000107765198},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2590000033378601},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.25540000200271606}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.30163","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.30163","pdf_url":null,"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":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.30163","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.30163","pdf_url":null,"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":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Abstraction-Based":[0],"Controller":[1],"Design":[2],"(ABCD)":[3],"offers":[4],"a":[5,27,56,94,109,170,196],"principled":[6],"framework":[7,194],"for":[8,81,111,160,200],"the":[9,104,136,161,164,179,183,207],"safe":[10],"control":[11],"of":[12,163,182,209],"complex":[13],"Cyber-Physical":[14],"Systems":[15],"(CPSs),":[16],"but":[17],"interfacing":[18],"real-world":[19],"requirements":[20,31,66,86],"with":[21,125],"its":[22],"formal":[23,43,68,95,210],"synthesis":[24,96],"machinery":[25],"remains":[26],"major":[28],"bottleneck:":[29],"such":[30,45],"are":[32,87],"most":[33],"naturally":[34],"expressed":[35],"in":[36,83,103],"Natural":[37],"Language":[38,52],"(NL),":[39],"whereas":[40],"ABCD":[41,202],"requires":[42],"specifications":[44,138],"as":[46,135],"Linear":[47],"Temporal":[48],"Logic":[49],"(LTL).":[50],"Large":[51],"Models":[53],"(LLMs)":[54],"offer":[55],"promising":[57],"way":[58],"to":[59,178],"bridge":[60],"this":[61,101],"gap":[62],"by":[63],"translating":[64],"NL":[65,85,165],"into":[67,89],"specifications.":[69],"This":[70],"paper":[71],"makes":[72],"three":[73],"contributions.":[74],"First,":[75],"we":[76,99,128],"formalize":[77],"an":[78,192],"LLM-enhanced":[79],"pipeline":[80,102],"ABCD,":[82],"which":[84],"translated":[88],"LTL":[90,185],"and":[91,107,119,153,195],"used":[92],"within":[93],"workflow.":[97],"Second,":[98],"implement":[100],"Dionysos":[105],"toolbox":[106],"introduce":[108],"benchmark":[110],"evaluating":[112],"NL-to-LTL":[113],"translation":[114,131],"under":[115],"both":[116,191],"logical":[117],"diversity":[118],"linguistic":[120],"variation.":[121],"Third,":[122],"through":[123],"experiments":[124],"state-of-the-art":[126],"LLMs,":[127],"show":[129],"that":[130,173],"accuracy":[132],"degrades":[133],"systematically":[134],"target":[137],"become":[139],"more":[140,203],"complex,":[141],"across":[142],"several":[143],"measures":[144],"including":[145],"Abstract":[146],"Syntax":[147],"Tree":[148],"(AST)":[149],"size,":[150,156],"temporal":[151],"depth,":[152],"B\u00fcchi":[154],"automaton":[155],"while":[157,205],"also":[158],"accounting":[159],"length":[162],"input.":[166],"These":[167],"results":[168],"reveal":[169],"scaling":[171],"law":[172],"links":[174],"LLM":[175],"success":[176],"rate":[177],"intrinsic":[180],"complexity":[181],"underlying":[184],"formula.":[186],"Together,":[187],"these":[188],"contributions":[189],"provide":[190],"evaluation":[193],"practical":[197],"integration":[198],"pathway":[199],"making":[201],"accessible":[204],"preserving":[206],"rigor":[208],"methods.":[211]},"counts_by_year":[],"updated_date":"2026-07-01T06:29:00.853634","created_date":"2026-07-01T00:00:00"}