Copertina

Computing Inductive Invariants of Regular Abstraction Frameworks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Czerner, Philipp, Esparza, Javier, Krasotin, Valentin, Welzel-Mohr, Christoph
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Formal Languages and Automata Theory Distributed, Parallel, and Cluster Computing 68Q60 F.3.1; F.1.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Regular Model Checking for Systems with Effectively Regular Reachability Relation
di: Esparza, Javier, et al.
Pubblicazione: (2025)

Decidability Issues for Petri Nets -- a survey
di: Esparza, Javier, et al.
Pubblicazione: (2024)

Flavors of Quantifiers in Hyperlogics
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

The Black Ninjas and the Sniper: On Robustness of Population Protocols
di: Lossin, Benno, et al.
Pubblicazione: (2024)

Deterministic Suffix-reading Automata
di: Keerthan, R, et al.
Pubblicazione: (2025)

List of Results on the Černý Conjecture and Reset Thresholds for Synchronizing Automata
di: Volkov, Mikhail V.
Pubblicazione: (2025)

The Impact of Partial Computations on the Red-Blue Pebble Game
di: Papp, Pál András, et al.
Pubblicazione: (2025)

On Transition Constructions for Automata -- A Categorical Perspective
di: Cruchten, Mike
Pubblicazione: (2024)

Polynomial Complementation of Nondeterministic 2-Way Finite Automata by 1-Limited Automata
di: Guillon, Bruno, et al.
Pubblicazione: (2025)

Kleene Theorems for Lasso Languages and $ω$-Languages
di: Cruchten, Mike
Pubblicazione: (2024)

Input-Erasing Two-Way Finite Automata
di: Meduna, Alexander, et al.
Pubblicazione: (2025)

Axiomatizing NFAs Generated by Regular Grammars
di: Gorrieri, Roberto
Pubblicazione: (2024)

Contract-based Verification of Digital Twins
di: Naeem, Muhammad, et al.
Pubblicazione: (2025)

Hypernode Automata
di: Bartocci, Ezio, et al.
Pubblicazione: (2023)

Functional Closure Properties of Finite $\mathbb{N}$-weighted Automata
di: Dörfler, Julian, et al.
Pubblicazione: (2024)

Decidability of membership problems for flat rational subsets of $\mathrm{GL}(2,\mathbb{Q})$ and singular matrices
di: Diekert, Volker, et al.
Pubblicazione: (2019)

Computing the Bandwidth of Meager Timed Automata
di: Asarin, Eugene, et al.
Pubblicazione: (2024)

A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages
di: Cho, Da-Jung, et al.
Pubblicazione: (2025)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
di: Adsul, Bharat, et al.
Pubblicazione: (2024)

The Algebra of Nondeterministic Finite Automata
di: Gorrieri, Roberto
Pubblicazione: (2023)

Stochastic well-structured transition systems
di: Aspnes, James
Pubblicazione: (2025)

Weighing Obese Timed Languages
di: Asarin, Eugene, et al.
Pubblicazione: (2025)

A Uniform Framework for Problems on Context-Free Grammars
di: Esparza, Javier, et al.
Pubblicazione: (2024)

Red-Blue Pebbling with Multiple Processors: Time, Communication and Memory Trade-offs
di: Böhnlein, Toni, et al.
Pubblicazione: (2024)

A LOCAL View of the Polynomial Hierarchy
di: Reiter, Fabian
Pubblicazione: (2023)

Non-reducible Modal Transition Systems
di: Basile, Davide
Pubblicazione: (2023)

Learning real-time one-counter automata using polynomially many queries
di: Mathew, Prince, et al.
Pubblicazione: (2024)

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
di: Gabbay, Murdoch J.
Pubblicazione: (2025)

Normal forms in Virus Machines
di: Ramírez-de-Arellano, A., et al.
Pubblicazione: (2024)

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
di: Lopez, Aliaume
Pubblicazione: (2024)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
di: Aiswarya, C, et al.
Pubblicazione: (2024)

Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
di: Heemstra, Jan, et al.
Pubblicazione: (2025)

Decision Problems on Copying and Shuffling
di: Halava, Vesa, et al.
Pubblicazione: (2023)

Subshifts defined by nondeterministic and alternating plane-walking automata
di: de Menibus, Benjamin Hellouin, et al.
Pubblicazione: (2024)

Classically Time-Controlled Quantum Automata: Definition and Properties
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2018)

Formal Foundations for Controlled Stochastic Activity Networks
di: Movaghar, Ali
Pubblicazione: (2025)

Evolution-Based Timed Opacity under a Universal Observation Model
di: Zhang, Zhe, et al.
Pubblicazione: (2026)

Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations
di: Huseynzade, Rafig
Pubblicazione: (2025)

Hexagonal Picture Scanning Automata
di: D, Deepalakshmi, et al.
Pubblicazione: (2025)

Cellular Automaton Reducibility as a Measure of Complexity for Infinite Words
di: Zubia, Markel, et al.
Pubblicazione: (2026)