Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics.

Ronald de Haan, Stefan Szeider

Browse the full KR paper archive.