Meetings
Project Meeting (11 — 12 April 2022 at LMF)
Recent Works
- Jérôme Leroux:
State Complexity of Protocols With Leaders
- Isa Vialard:
On the cartesian product of well-orderings
- Thibault Hilaire:
Correction d’algorithmes de Karp et Miller en Coq
- Jean Goubault-Larrecq:
Statures and sobrification ranks of Noetherian spaces
- Aliaume Lopez:
Théorème général de Noethérianité
Project Coordination
Work Meeting on Karp-Miller Algorithms
Project Meeting (12 — 13 April 2021 Online)
Recent Works
- Sylvain Schmitz:
Branching in Well-Structured Transition Systems
- Jérôme Leroux:
Flat Petri Nets
- Grégoire Sutre:
Flattening 2-VASS Extended with One Test and One Reset
- Philippe Schnoebelen:
On flat lossy channel machines
Project Coordination
Discussions
Project Meeting (4 September 2019 at LaBRI)
Recent Works
- Alain Finkel:
Verification of Flat FIFO Systems
- Philippe Schnoebelen:
Complexity of controlled bad sequences in finitary powersets (after A.R. Balasubramanian)
Project Coordination
Discussions
Project Meeting (21 March 2019 at LaBRI)
Recent Works
- Maria Emilia Descotte:
Extensions of BVASSes
- Jérôme Leroux:
The Petri net reachability problem is primitive recursive in fixed dimension
- Philippe Schnoebelen:
Maximal order type and length of bad sequences for finitary powersets of WQOs
- Sylvain Schmitz:
The parametric complexity of reachability in lossy counter machines
- Filip Mazowiecki:
BBVASS : Bounded Branching Vector Addition Systems
Project Coordination
Discussions
Project Meeting (8 October 2018 at LSV)
Recent Works
- Filip Mazowiecki:
The reachability problem for Petri Nets is Not Elementary
- Jean Goubault-Larrecq:
A Noetherian space of infinite words
- Grégoire Sutre:
Reachability for Two-Counter Machines with One Test and One Reset
- Philippe Schnoebelen:
A covering tree algorithm for VAS with pruning between branches (after Reynier & Servais, Fund. Inf. 2013)
Project Coordination
Discussions
Project Meeting (30 May — 1 June 2018 at LaBRI)
Recent Works
- Philippe Schnoebelen:
Handling down(ward closed) sets in WQO's
- Philippe Schnoebelen:
WQO ideals on infinite words
- Sylvain Schmitz:
EBVASS and PVASS equivalence
- Filip Mazowiecki:
Affine extension of integer VASS
- Alain Finkel:
Tools for VASS reachability
Project Coordination
Discussions
Project Meeting (12 March 2018 at LSV)
Recent Works
- Filip Mazowiecki:
Reachability for 1-BVASS
- Vincent Penelle:
PDVAS in higher dimension
- Philippe Schnoebelen:
Weakly computable functions
- Jérôme Leroux:
Polynomial VASS
- Jean Goubault-Larrecq:
Topological FAC
Discussions
Kick-Off Meeting (26 October 2017 at LSV)
Presentation of the Project
- Jérôme Leroux:
The BraVAS project in 4 minutes
- Sylvain Schmitz:
Task A — Adherence membership: a new understanding of the KLM algorithm
- Jérôme Leroux:
Task B — Handling downward-closed sets
- Grégoire Sutre:
Task C — Accelerations and coverability sets for vass extensions
- Philippe Schnoebelen:
Task D — Complexity analysis
Recent Works
- Grégoire Sutre:
Open Boundedness and Coverability Problems for Pushdown VAS
- Jérôme Leroux:
Structural boundedness
- Vincent Penelle:
Les piles d’ordre supérieur
- Alain Finkel:
La théorie des WSTS (WBTS et Very WSTS)
- Sylvain Schmitz:
Model-checking d'un fragment du µ-calcul dans les WBTS
- Jean Goubault-Larrecq:
Les FAC topologiquement vôtres
- Diego Figueira:
Logics of repeating values and counter systems
- Simon Halfon:
Ideals of effective WQOs
- Sylvain Salvati:
Les liens avec la linguistique ou la logique linéaire
- Philippe Schnoebelen:
Logics of subwords
Discussions