Buchumschlag

On Synthesis of Timed Regular Expressions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wang, Ziran, An, Jie, Zhan, Naijun, Zhang, Miaomiao, Zhang, Zhenya
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Formal Languages and Automata Theory Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Learning Deterministic Multi-Clock Timed Automata
von: Teng, Yu, et al.
Veröffentlicht: (2024)

RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
von: Fang, Yue, et al.
Veröffentlicht: (2025)

Switching Controller Synthesis for Hybrid Systems Against STL Formulas
von: Su, Han, et al.
Veröffentlicht: (2024)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
von: Chen, Hanyue, et al.
Veröffentlicht: (2025)

On the Expressive Power of Regular Expressions with Backreferences
von: Nogami, Taisei, et al.
Veröffentlicht: (2023)

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
von: Wang, Ruida, et al.
Veröffentlicht: (2024)

Weighted Automata and Regular Expressions for Financial Systems
von: Droste, Manfred, et al.
Veröffentlicht: (2026)

Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability
von: Dhayalkar, Sahil Rajesh
Veröffentlicht: (2026)

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
von: Zetzsche, Stefan, et al.
Veröffentlicht: (2024)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
von: Fang, Yue, et al.
Veröffentlicht: (2026)

Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition
von: Nogami, Taisei, et al.
Veröffentlicht: (2024)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
von: De Rosa, Mattia, et al.
Veröffentlicht: (2025)

Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
von: Yang, Yunhao, et al.
Veröffentlicht: (2025)

The Complexity of Aggregates over Extractions by Regular Expressions
von: Doleschal, Johannes, et al.
Veröffentlicht: (2020)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
von: Pert, Charles, et al.
Veröffentlicht: (2024)

Tractable Offline Learning of Regular Decision Processes
von: Deb, Ahana, et al.
Veröffentlicht: (2024)

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification
von: Yao, Zhen, et al.
Veröffentlicht: (2025)

BEAVER: An Efficient Deterministic LLM Verifier
von: Suresh, Tarun, et al.
Veröffentlicht: (2025)

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs
von: Ospanov, Azim, et al.
Veröffentlicht: (2025)

Inference of Deterministic Finite Automata via Q-Learning
von: Hosseinkhani, Elaheh, et al.
Veröffentlicht: (2025)

Mechanics of Learned Reasoning 1: TempoBench, A Benchmark for Interpretable Deconstruction of Reasoning System Performance
von: Holzer, Nikolaus, et al.
Veröffentlicht: (2025)

RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-complete Regex Problems
von: Jin, Hyundong, et al.
Veröffentlicht: (2025)

Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI
von: Koohestani, Roham, et al.
Veröffentlicht: (2025)

In System Alignments we Trust! Explainable Alignments via Projections
von: Sommers, Dominique, et al.
Veröffentlicht: (2025)

Stochastic Directly-Follows Process Discovery Using Grammatical Inference
von: Alkhammash, Hanan, et al.
Veröffentlicht: (2023)

LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning
von: Chen, Lekai, et al.
Veröffentlicht: (2024)

Congruence-based Learning of Probabilistic Deterministic Finite Automata
von: Carrasco, Matías, et al.
Veröffentlicht: (2024)

Large Language Models and the Extended Church-Turing Thesis
von: Wiedermann, Jiří, et al.
Veröffentlicht: (2024)

Finding path and cycle counting formulae in graphs with Deep Reinforcement Learning
von: Piquenot, Jason, et al.
Veröffentlicht: (2024)

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
von: Yang, Yunhao, et al.
Veröffentlicht: (2023)

Computing the Reachability Value of Posterior-Deterministic POMDPs
von: Fijalkow, Nathanaël, et al.
Veröffentlicht: (2026)

Linear Matching of JavaScript Regular Expressions
von: Barrière, Aurèle, et al.
Veröffentlicht: (2023)

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
von: Hu, Jilin, et al.
Veröffentlicht: (2025)

Probabilistic Regular Tree Priors for Scientific Symbolic Reasoning
von: Schneider, Tim, et al.
Veröffentlicht: (2023)

Monadic Context Engineering
von: Zhang, Yifan, et al.
Veröffentlicht: (2025)

Controller Synthesis for Parametric Timed Games
von: Dahlsen-Jensen, Mikael Bisgaard, et al.
Veröffentlicht: (2025)

ToolGate: Contract-Grounded and Verified Tool Execution for LLMs
von: Liu, Yanming, et al.
Veröffentlicht: (2026)

Expressive Reward Synthesis with the Runtime Monitoring Language
von: Donnelly, Daniel, et al.
Veröffentlicht: (2025)

Computational Model for Parsing Expression Grammars
von: Rubtsov, Alexander, et al.
Veröffentlicht: (2024)

Regular Expression Denial of Service Induced by Backreferences
von: Liu, Yichen, et al.
Veröffentlicht: (2026)