Porous Invariants.

Engel Lefaucheux, Jol Ouaknine, David Purser, James Worrell

Browse the full CAV paper archive.