Copertina

Do CFLOBDDs Actually Make Use of Linear Structure?

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sistla, Meghana Aparna, Chaudhuri, Swarat, Reps, Thomas W.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
di: Sistla, Meghana, et al.
Pubblicazione: (2022)

Weighted Context-Free-Language Ordered Binary Decision Diagrams
di: Sistla, Meghana, et al.
Pubblicazione: (2023)

Polynomial Bounds of CFLOBDDs against BDDs
di: Zhi, Xusheng, et al.
Pubblicazione: (2024)

Learning Quantitative Automata Modulo Theories
di: Hsiung, Eric, et al.
Pubblicazione: (2024)

Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
di: Gallot, Paul, et al.
Pubblicazione: (2023)

A Linear-time Simulation of Deterministic $d$-Limited Automata
di: Rubtsov, Alexander
Pubblicazione: (2023)

Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
di: Ise, Daihei, et al.
Pubblicazione: (2024)

Static Analysis Framework for Detecting Use-After-Free Bugs in C++
di: Teodorescu, Vlad-Alexandru, et al.
Pubblicazione: (2024)

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

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

Iterating Non-Aggregative Structure Compositions
di: Bozga, Marius, et al.
Pubblicazione: (2025)

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

All about unambiguous polynomial closure
di: Place, Thomas, et al.
Pubblicazione: (2022)

Navigational hierarchies of regular languages
di: Place, Thomas, et al.
Pubblicazione: (2024)

Dot-depth three, return of the J-class
di: Place, Thomas, et al.
Pubblicazione: (2024)

Deciding Subtyping for Asynchronous Multiparty Sessions
di: Li, Elaine, et al.
Pubblicazione: (2024)

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

Cost Automata, Safe Schemes, and Downward Closures
di: Barozzini, David, et al.
Pubblicazione: (2020)

QuAK: Quantitative Automata Kit
di: Chalupa, Marek, et al.
Pubblicazione: (2024)

Safety and Liveness of Quantitative Properties and Automata
di: Boker, Udi, et al.
Pubblicazione: (2023)

Quantitative Language Automata
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
di: Fränzle, Martin, et al.
Pubblicazione: (2024)

Time for Timed Monitorability
di: Grosen, Thomas M., et al.
Pubblicazione: (2025)

Information-flow Interfaces and Security Lattices
di: Bartocci, Ezio, et al.
Pubblicazione: (2024)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
di: Pshenitsyn, Tikhon
Pubblicazione: (2025)

Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
di: Cimatti, Alessandro, et al.
Pubblicazione: (2024)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
di: Yu, Pian, et al.
Pubblicazione: (2025)

Linear Matching of JavaScript Regular Expressions
di: Barrière, Aurèle, et al.
Pubblicazione: (2023)

Formally Verified Linear-Time Invertible Lexing
di: Chassot, Samuel, et al.
Pubblicazione: (2025)

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
di: Ren, Jiming, et al.
Pubblicazione: (2024)

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

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
di: Lehaut, Mathieu, et al.
Pubblicazione: (2026)

One-clock synthesis problems
di: Lasota, Sławomir, et al.
Pubblicazione: (2026)

Infinite-state Games with Energy Objectives Beyond Counters
di: Sağlam, Irmak, et al.
Pubblicazione: (2026)

Nondeterministic state complexity of square root
di: Onishchenko, Sergey
Pubblicazione: (2026)

Forgetting Event Order in Higher-Dimensional Automata
di: Zouari, Safa
Pubblicazione: (2026)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
di: Chen, Zeyu, et al.
Pubblicazione: (2026)

Exact Accepting-State Spectrum for Reversal of Permutation Automata
di: German, Samuel
Pubblicazione: (2026)

Temporal Causal Models as a Model of Computation
di: Gladyshev, Maksim, et al.
Pubblicazione: (2026)

The Similarity Control Problem with Required Events
di: Wang, Yu, et al.
Pubblicazione: (2026)