„Vector Addition Systems“

Suchergebnisse

53 Treffer

• Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable
  Czerwiński, Wojciech ; Hofman, Piotr 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Involved VASS Zoo (Invited Talk)
  Czerwiński, Wojciech 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reachability in Bidirected Pushdown VASS
  Ganardi, Moses ; Majumdar, Rupak ; Pavlogiannis, Andreas ; Schütze, Lia ; Zetzsche, Georg 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decision Problems for Linear Logic with Least and Greatest Fixed Points
  Das, Anupam ; De, Abhishek ; Saurin, Alexis 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improved Ackermannian Lower Bound for the Petri Nets Reachability Problem
  Lasota, Sławomir 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Deciding Polynomial Termination Complexity for VASS Programs
  Ajdarów, Michal ; Kučera, Antonín 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improved Lower Bounds for Reachability in Vector Addition Systems
  Czerwiński, Wojciech ; Lasota, Sławomir ; Orlikowski, Łukasz 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reachability in Fixed Dimension Vector Addition Systems with States
  Czerwiński, Wojciech ; Lasota, Sławomir ; Lazić, Ranko ; Leroux, Jérôme ; Mazowiecki, Filip 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coverability in 1-VASS with Disequality Tests
  Almagor, Shaull ; Cohen, Nathann ; Pérez, Guillermo A. ; Shirmohammadi, Mahsa ; Worrell, James 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free
  Leroux, Jérôme ; Sutre, Grégoire 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Universality Problem for Unambiguous VASS
  Czerwiński, Wojciech ; Figueira, Diego ; Hofman, Piotr 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Size of Finite Rational Matrix Semigroups
  Bumpus, Georgina ; Haase, Christoph ; Kiefer, Stefan ; Stoienescu, Paul-Ioan ; Tanner, Jonathan 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Boolean Algebras from Trace Automata
  Mansard, Alexandre 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distance Between Mutually Reachable Petri Net Configurations
  Leroux, Jérôme 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Finkel Was Right: Counter-Examples to Several Conjectures on Variants of Vector Addition Systems (Invited Talk)
  Lazić, Ranko 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Long-Run Average Behavior of Vector Addition Systems with States
  Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Otop, Jan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• New Pumping Technique for 2-Dimensional VASS
  Czerwiński, Wojciech ; Lasota, Sławomir ; Löding, Christof ; Piórkowski, Radosław 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems
  Penelle, Vincent ; Salvati, Sylvain ; Sutre, Grégoire 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linear Equations with Ordered Data
  Hofman, Piotr ; Lasota, Slawomir 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Polynomial Vector Addition Systems With States
  Leroux, Jérôme 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik