Copertina

Iterating Non-Aggregative Structure Compositions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bozga, Marius, Iosif, Radu, Zuleger, Florian
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Regular Grammars for Sets of Graphs of Tree-Width 2
di: Bozga, Marius, et al.
Pubblicazione: (2024)

Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs
di: Bozga, Marius, et al.
Pubblicazione: (2026)

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
di: Bozga, Marius, et al.
Pubblicazione: (2023)

Counting Abstraction for the Verification of Structured Parameterized Networks
di: Bozga, Marius, et al.
Pubblicazione: (2025)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
di: Iosif, Radu, et al.
Pubblicazione: (2023)

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
di: Bueri, Lucas, et al.
Pubblicazione: (2024)

Tree-Verifiable Graph Grammars
di: Chimes, Mark, et al.
Pubblicazione: (2024)

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
di: Iosif, Radu, et al.
Pubblicazione: (2025)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
di: Chen, Hanyue, et al.
Pubblicazione: (2025)

Separability and Non-Determinizability of WSTS
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2023)

Non-Global Parikh Tree Automata
di: Herrmann, Luisa, et al.
Pubblicazione: (2024)

Non-deterministic asynchronous automata games and their undecidability
di: Adsul, Bharat, et al.
Pubblicazione: (2024)

Non-interference analysis of bounded labeled Petri nets
di: Ran, Ning, et al.
Pubblicazione: (2025)

Universality Frontier for Asynchronous Cellular Automata
di: Baburin, Ivan, et al.
Pubblicazione: (2025)

The Complexity of Aggregates over Extractions by Regular Expressions
di: Doleschal, Johannes, et al.
Pubblicazione: (2020)

Structural Abstraction and Refinement for Probabilistic Programs
di: Li, Guanyan, et al.
Pubblicazione: (2025)

Structural Reductions and Stutter Sensitive Properties
di: Paviot-Adet, Emmanuel, et al.
Pubblicazione: (2022)

Unconditional Time and Space Complexity Lower Bounds for Intersection Non-Emptiness
di: Wehar, Michael
Pubblicazione: (2025)

Do CFLOBDDs Actually Make Use of Linear Structure?
di: Sistla, Meghana Aparna, et al.
Pubblicazione: (2026)

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
di: Cardona, Gustavo A., et al.
Pubblicazione: (2025)

Learning Deterministic Finite-State Machines from the Prefixes of a Single String is NP-Complete
di: Dumitru, Radu Cosmin, et al.
Pubblicazione: (2026)

Elementary Cellular Automata as Non-Cryptographic Hash Functions
di: McKinley, Daniel
Pubblicazione: (2025)

A Diamond Structure in the Transducer Hierarchy
di: Kaufmann, Noah
Pubblicazione: (2021)

Temporally Non-Uniform Cellular Automata: Surjectivity, Reversibility and Cyclic Behavior
di: Paul, Subrata, et al.
Pubblicazione: (2024)

A Survey of Cellular Automata: Types, Dynamics, Non-uniformity and Applications
di: Bhattacharjee, Kamalika, et al.
Pubblicazione: (2016)

Scalable Computation of Inter-Core Bounds Through Exact Abstractions
di: Foughali, Mohammed Aristide, et al.
Pubblicazione: (2024)

Verification under TSO with an infinite Data Domain
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2024)

Algorithmical Aspects of Some Bio Inspired Operations
di: Dumitran, Marius
Pubblicazione: (2025)

A General Information Extraction Framework Based on Formal Languages
di: Schmid, Markus L.
Pubblicazione: (2025)

Statistical process discovery
di: Cry, Pierre, et al.
Pubblicazione: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
di: Jeppson, Joshua, et al.
Pubblicazione: (2025)

Hyper pattern matching
di: Waga, Masaki, et al.
Pubblicazione: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
di: Kutrib, Martin, et al.
Pubblicazione: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
di: Kan, Shuanglong, et al.
Pubblicazione: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
di: Fujinami, Hiroya, et al.
Pubblicazione: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
di: Mazowiecki, Filip, et al.
Pubblicazione: (2025)

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
di: Kim, Moon, et al.
Pubblicazione: (2025)

Castor Ministerialis
di: Hercher, Christian
Pubblicazione: (2025)

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets
di: Memmi, Gerard
Pubblicazione: (2025)

Unambiguisability and Register Minimisation of Min-Plus Models
di: Almagor, Shaull, et al.
Pubblicazione: (2025)