Similar Items: Self-Correcting Gossip Protocols
- Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation
- Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Automaton-based Characterisations of First Order Logic over Infinite Trees
- Pseudo-Complex Quantifier Elimination