Learning to adapt GR(1) specifications through degradation

arXiv:2609.12231 · cs.SE, cs.AI, cs.LO · Submitted 2026-09-10 · Read on arXiv

cs.SE, cs.AI, cs.LO

Submitted: 2026-09-10

Updated: 2026-09-10

Comments: 59 pages (39 pages main text, 20 pages appendices), 24 figures, 5 tables. Submitted to ACM Transactions on Software Engineering and Methodology

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Adaptation — 1× in this paper · explained in 1 episode
• Robustness — 1× in this paper · explained in 5 episodes

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties