Similar Items: Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes
- Order-invariant cluster first-order logic on graph classes of bounded degree
- Zero-Knowledge Model Checking
- Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
- Logics for Context-free Hyperproperties
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic