Model checking Russian cards
From MaRDI portal
Recommendations
- Generalized Russian Cards Problem
- The Russian cards problem
- Crossing hands in the Russian cards problem
- A colouring protocol for the generalized Russian cards problem
- Information Exchange in the Russian Cards Problem
- Model Checking Games
- Fast Directed Model Checking Via Russian Doll Abstraction
- scientific article; zbMATH DE number 1848381
- Additional constructions to solve the generalized Russian cards problem using combinatorial designs
- scientific article; zbMATH DE number 910719
Cited in
(12)- Automatic data-abstraction in model checking multi-agent systems
- Additional constructions to solve the generalized Russian cards problem using combinatorial designs
- Three steps
- A colouring protocol for the generalized Russian cards problem
- Combinatorial solutions providing improved security for the generalized Russian cards problem
- Information Exchange in the Russian Cards Problem
- Crossing hands in the Russian cards problem
- To know or not to know: Epistemic approaches to security protocol verification
- Optimizing epistemic model checking using conditional independence (extended abstract)
- Logics of rational interaction
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
- Symbolic Model Checking for Dynamic Epistemic Logic
This page was built for publication: Model checking Russian cards
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852032)