Selected publications at LSV

We explain how the downward-closed subsets of a well-quasi-ordering (X,≤) can be represented via the ideals of X and how this leads to simple and efficient algorithms for the verification of well-structured systems.

   address = {Aalborg, Denmark},
   author = {Schnoebelen, {\relax Ph}ilippe},
   booktitle = {{P}roceedings of the 42nd {I}nternational {S}ymposium on {M}athematical {F}oundations of {C}omputer {S}cience ({MFCS}'17)},
   DOI = {10.4230/LIPIcs.MFCS.2017.85},
   editor = {Larsen, Kim G. and Bodlaender, Hans L. and Raskin, Jean-Fran{\c{c}}ois},
   month = aug,
   pages = {85:1-85:4},
   publisher = {Leibniz-Zentrum f{\"u}r Informatik},
   series = {Leibniz International Proceedings in Informatics},
   title = {Ideal-Based Algorithms for the Symbolic Verification of Well-Structured Systems (Invited Talk)},
   url = {},
   volume = {83},
   year = {2017},

About LSV

Select by Year