How Hard Is Finding Shortest Counter-Example Lassos in Model Checking?

Rdiger Ehlers

Browse the full FM paper archive.