Here are all the papers published by the [[FSL]] group. Older publications by [[Grigore Rosu]] (before joining UIUC) can be found on his previous [http://fsl.cs.uiuc.edu/~grosu/publications.html publications page].<private>

Here are all the papers published by the [[FSL]] group. Older publications by [[Grigore Rosu]] (before joining UIUC) can be found on his previous [http://fsl.cs.uiuc.edu/~grosu/publications.html publications page].<private>