Similar Items: Parameterized Synthesis
- On the Parameterized Intractability of Monadic Second-Order Logic
- Reconfiguration and Message Losses in Parameterized Broadcast Networks
- Model-Checking Problems as a Basis for Parameterized Intractability
- Differentiable Image Parameterizations
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
- Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds