Cover Image

Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gagliardi, Hernan, Braberman, Victor, Uchitel, Sebastian
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
by: Baldonado, Juan Manuel, et al.
Published: (2025)

SE Journals in 2036: Looking Back at the Future We Need to Have
by: Menzies, Tim, et al.
Published: (2026)

Analysing software failure using runtime verification and LTL
by: Yazdanparast, Zahra
Published: (2024)

Automated LTL Specification Generation from Industrial Aerospace Requirements
by: Ma, Zhi, et al.
Published: (2026)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
by: Ma, Zhi, et al.
Published: (2025)

Automatic Syntax Error Repair for Discrete Controller Synthesis using Large Language Model
by: Ishimizu, Yusei, et al.
Published: (2025)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
by: Alonso, Pepe, et al.
Published: (2026)

Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection
by: Ferreira, Margarida, et al.
Published: (2025)

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
by: Wang, Hongshu, et al.
Published: (2026)

Formal Synthesis of Uncertainty Reduction Controllers
by: Carwehl, Marc, et al.
Published: (2024)

Structure- and Event-Driven Frameworks for State Machine Modeling with Large Language Models
by: Abdulkarim, Samer, et al.
Published: (2026)

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
by: Baksys, Mantas, et al.
Published: (2025)

Event-Chain Analysis for Automated Driving and ADAS Systems: Ensuring Safety and Meeting Regulatory Timing Requirements
by: Dingler, Sebastian, et al.
Published: (2025)

A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
by: Ganesha, et al.
Published: (2025)

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
by: Di, Nongyu, et al.
Published: (2026)

On the Use of Large Language Models for Qualitative Synthesis
by: Pizard, Sebastián, et al.
Published: (2025)

Combinatorial Synthesis: Scaling Code RLVR via Atomic Decomposition and Recombination
by: Zheng, Jiasheng, et al.
Published: (2026)

LLM-Guided Compositional Program Synthesis
by: Khan, Ruhma, et al.
Published: (2025)

Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing
by: Schönig, Stefan, et al.
Published: (2025)

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
by: Kauffman, Sean, et al.
Published: (2024)

Toward Automated Virtual Electronic Control Unit (ECU) Twins for Shift-Left Automotive Software Testing
by: Dingler, Sebastian, et al.
Published: (2026)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
by: Andresel, Medina, et al.
Published: (2026)

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement
by: Kobayashi, Tsutomu, et al.
Published: (2024)

Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
by: Zhou, Zitong, et al.
Published: (2025)

Conceptual Modeling and Classification of Events
by: Al-Fedaghi, Sabah
Published: (2024)

Lingxi: Repository-Level Issue Resolution Framework Enhanced by Procedural Knowledge Guided Scaling
by: Yang, Xu, et al.
Published: (2025)

GR-NLP-TOOLKIT: An Open-Source NLP Toolkit for Modern Greek
by: Loukas, Lefteris, et al.
Published: (2024)

FormalRTL: Verified RTL Synthesis at Scale
by: Li, Kezhi, et al.
Published: (2026)

KPIRoot+: An Efficient Integrated Framework for Anomaly Detection and Root Cause Analysis in Large-Scale Cloud Systems
by: Gu, Wenwei, et al.
Published: (2025)

Testing Compositionality
by: van Cuyck, Gijs, et al.
Published: (2024)

BinaryAI: Binary Software Composition Analysis via Intelligent Binary Source Code Matching
by: Jiang, Ling, et al.
Published: (2024)

An MLIR-Based Compilation Framework for Control Flow Management on Coarse Grained Reconfigurable Arrays
by: Wang, Yuxuan, et al.
Published: (2025)

The Agentic Automation Canvas: a structured framework for agentic AI project design
by: Lobentanzer, Sebastian
Published: (2026)

User-Centric Requirements Prioritization in mHealth Applications: Insights from a Discrete Choice Experiment
by: Wang, Wei, et al.
Published: (2025)

Compiler Bugs Detection in Logic Synthesis Tools via Linear Upper Confidence Bound
by: Zeng, Hui, et al.
Published: (2025)

UICopilot: Automating UI Synthesis via Hierarchical Code Generation from Webpage Designs
by: Gui, Yi, et al.
Published: (2025)

Code Clone Detection via an AlphaFold-Inspired Framework
by: Jia, Changguo, et al.
Published: (2025)

End-to-End Automated Logging via Multi-Agent Framework
by: Zhong, Renyi, et al.
Published: (2025)

Toward Conceptual Modeling for Propositional Logic: Propositions as Events
by: Al-Fedaghi, Sabah
Published: (2024)

RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
by: Cai, Xuemeng, et al.
Published: (2025)