Similar Items: Model-Checking Problems as a Basis for Parameterized Intractability
- On the Parameterized Intractability of Monadic Second-Order Logic
- Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
- The parameterized space complexity of model-checking bounded variable first-order logic
- Parameterized Synthesis
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
- Reconfiguration and Message Losses in Parameterized Broadcast Networks