Copertina

A Note on the Parameterised Complexity of Coverability in Vector Addition Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Pilipczuk, Michał, Schmitz, Sylvain, Sinclair-Banks, Henry
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computational Complexity Logic in Computer Science F.2.2; D.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
di: Kazakov, Yevgeny, et al.
Pubblicazione: (2009)

Hypersequent Calculi Have Ackermannian Complexity
di: Balasubramanian, A. R., et al.
Pubblicazione: (2026)

Verification of Unbounded Client-Server Systems with Distinguishable Clients
di: Phawade, Ramchandra, et al.
Pubblicazione: (2026)

Extremal Separation Problems for Temporal Instance Queries
di: Jung, Jean Christoph, et al.
Pubblicazione: (2024)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
di: Jilissen, Kevin H. J., et al.
Pubblicazione: (2024)

Dormancy-aware timed branching bisimilarity, with an application to communication protocol analysis
di: Middelburg, C. A.
Pubblicazione: (2021)

Deducibility in the full Lambek calculus with weakening is HAck-complete
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Formal Methods for Mobile Ad Hoc Networks: A Survey
di: Fokkink, Wan, et al.
Pubblicazione: (2025)

On the Satisfaction Probabilities of $k$-CNF Formulas
di: Tantau, Till
Pubblicazione: (2022)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
di: Mustafa, Daham, et al.
Pubblicazione: (2026)

Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
di: Knop, Dušan, et al.
Pubblicazione: (2017)

Space-time process algebra with asynchronous communication
di: Bergstra, J. A., et al.
Pubblicazione: (2024)

Locality, Consistency, and the Tractability Frontier
di: Simas, Tristan
Pubblicazione: (2026)

Notes on CSPs and Polymorphisms
di: Brady, Zarathustra
Pubblicazione: (2022)

Constrained LTL Specification Learning from Examples
di: Zhang, Changjian, et al.
Pubblicazione: (2024)

Converting BPMN Diagrams to Privacy Calculus
di: Pitsiladis, Georgios V., et al.
Pubblicazione: (2024)

Provably Correct Systems: Community, connections, and citations
di: Bowen, Jonathan P.
Pubblicazione: (2015)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
di: Prebet, Enguerrand, et al.
Pubblicazione: (2026)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
di: Zhang, Xindi, et al.
Pubblicazione: (2025)

Verification of E-Voting Algorithms in Dafny
di: Büttner, Robert, et al.
Pubblicazione: (2025)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
di: Sextl, Florian, et al.
Pubblicazione: (2023)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
di: Chiari, Michele, et al.
Pubblicazione: (2024)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
di: Esen, Zafer, et al.
Pubblicazione: (2025)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
di: Reinhard, Tobias
Pubblicazione: (2024)

Automatic Function Annotations for Hoare Logic
di: Matichuk, Danielle
Pubblicazione: (2012)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
di: Anttila, Aleksi, et al.
Pubblicazione: (2025)

Hypernetwork Theory: The Structural Kernel
di: Charlesworth, Richard D.
Pubblicazione: (2025)

Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
di: Mustafa, Daham, et al.
Pubblicazione: (2026)

Scott's Representation Theorem and the Univalent Karoubi Envelope
di: van der Leer, Arnoud, et al.
Pubblicazione: (2025)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
di: Waldinger, Richard
Pubblicazione: (2025)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
di: Knothe, David, et al.
Pubblicazione: (2026)

Complexity Classification Transfer for CSPs via Algebraic Products
di: Bodirsky, Manuel, et al.
Pubblicazione: (2022)

A Graphical Interface for Category Theory Proofs in Coq
di: Chabassier, Luc
Pubblicazione: (2025)

Uniform Substitution for Differential Refinement Logic
di: Prebet, Enguerrand, et al.
Pubblicazione: (2024)

Constant time testability of first-order logic with modulo counting on finitary graphs
di: Adler, Isolde, et al.
Pubblicazione: (2026)

BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins
di: Sieve, Riccardo, et al.
Pubblicazione: (2025)

The Fluted Fragment with Transitive Relations
di: Pratt-Hartmann, Ian, et al.
Pubblicazione: (2020)

An ACL2s Interface to Z3
di: Walter, Andrew T., et al.
Pubblicazione: (2025)

Parf: Adaptive Parameter Refining for Abstract Interpretation
di: Wang, Zhongyi, et al.
Pubblicazione: (2024)

Reachability and Safety Games under TSO Semantics
di: Spengler, Stephan
Pubblicazione: (2024)