Similar Items: Reconfiguration and Message Losses in Parameterized Broadcast Networks
- Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
- Parameterized Synthesis
- On the Parameterized Intractability of Monadic Second-Order Logic
- Random Pruning Over-parameterized Neural Networks Can Improve Generalization: A Training Dynamics Analysis
- Model-Checking Problems as a Basis for Parameterized Intractability
- Typing Copyless Message Passing