No. |
Title |
Author |
Year |
---|

1 |
Reachability in Fixed Dimension Vector Addition Systems with States |
Czerwiński, Wojciech et al. |
2020 |

2 |
Finkel Was Right: Counter-Examples to Several Conjectures on Variants of Vector Addition Systems (Invited Talk) |
Lazic, Ranko |
2019 |

3 |
When is Containment Decidable for Probabilistic Automata? |
Daviaud, Laure et al. |
2018 |

4 |
Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One |
Figueira, Diego et al. |
2017 |

5 |
A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One |
Göller, Stefan et al. |
2016 |

6 |
The Covering and Boundedness Problems for Branching Vector Addition Systems |
Demri, Stéphane et al. |
2009 |