On the Monniaux Problem in Abstract Interpretation.

Nathanal Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Jol Ouaknine, Amaury Pouly, James Worrell

Browse the full SAS paper archive.