„Vector Addition Systems“

Suchergebnisse

1.000+ Treffer

• Affine Extensions of Integer Vector Addition Systems with States
  Blondin, Michael ; Haase, Christoph ; Mazowiecki, Filip 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States
  Chatterjee, Krishnendu ; Henzinger, Thomas ; Otop, Jan 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Note on the Parameterised Complexity of Coverability in Vector Addition Systems
  Pilipczuk, Michał ; Schmitz, Sylvain ; Sinclair-Banks, Henry 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Polynomial Equivalence of Extended Chemical Reaction Models
  Bajaj, Divya ; Castellanos, Jose-Luis ; Knobel, Ryan ; Luchsinger, Austin ; Massie, Aiden ; Salinas, Adrian ; Santos, Pablo ; Santos, Ramiro ; Schweller, Robert ; Wylie, Tim 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Languages of Boundedly-Ambiguous Vector Addition Systems with States
  Czerwiński, Wojciech ; Orlikowski, Łukasz 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reachability in Symmetric VASS
  Kamiński, Łukasz ; Lasota, Sławomir 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Reachability Problem for Two-Dimensional Branching VASS
  Bizière, Clotilde ; Hilaire, Thibault ; Leroux, Jérôme ; Sutre, Grégoire 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reachability in 3-VASS Is Elementary
  Czerwiński, Wojciech ; Jecker, Ismaël ; Lasota, Sławomir ; Orlikowski, Łukasz 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Continuous Pushdown VASS in One Dimension
  Pérez, Guillermo A. ; Rao, Shrisha 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Challenges of the Reachability Problem in Infinite-State Systems (Invited Paper)
  Czerwiński, Wojciech 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Flattability of Priority Vector Addition Systems
  Guttenberg, Roland 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities
  Baumann, Pascal ; Keskin, Eren ; Meyer, Roland ; Zetzsche, Georg 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semënov Arithmetic, Affine {VASS}, and String Constraints
  Draghici, Andrei ; Haase, Christoph ; Manea, Florin 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• New Lower Bounds for Reachability in Vector Addition Systems
  Czerwiński, Wojciech ; Jecker, Ismaël ; Lasota, Sławomir ; Leroux, Jérôme ; Orlikowski, Łukasz 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• History-Deterministic Vector Addition Systems
  Bose, Sougata ; Purser, David ; Totzke, Patrick 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions
  Ajdarów, Michal ; Kučera, Antonín 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Monus Semantics in Vector Addition Systems with States
  Baumann, Pascal ; Madnani, Khushraj ; Mazowiecki, Filip ; Zetzsche, Georg 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Geometry of Reachability Sets of Vector Addition Systems
  Guttenberg, Roland ; Raskin, Mikhail ; Esparza, Javier 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Geometry of Reachability in Continuous Vector Addition Systems with States
  Almagor, Shaull ; Ghosh, Arka ; Leys, Tim ; Pérez, Guillermo A. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Regular Separability in Büchi VASS
  Baumann, Pascal ; Meyer, Roland ; Zetzsche, Georg 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik