Pages that link to "Item:Q3648692"
From MaRDI portal
The following pages link to A Data Symmetry Reduction Technique for Temporal-epistemic Logic (Q3648692):
Displaying 4 items.
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Model checking and strategy synthesis for multi-agent systems for resource allocation (Q2154045) (← links)
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866) (← links)
- Automatic Data-Abstraction in Model Checking Multi-Agent Systems (Q3003426) (← links)