Pages that link to "Item:Q1383157"
From MaRDI portal
The following pages link to Common knowledge and update in finite environments (Q1383157):
Displaying 7 items.
- Priority scheduling of distributed systems based on model checking (Q453501) (← links)
- Achieving distributed control through model checking (Q453529) (← links)
- Knowledge-based strategies for multi-agent teams playing against nature (Q2152496) (← links)
- Knowledge updates: Semantics and complexity issues (Q2457677) (← links)
- Symbolic Model Checking the Knowledge in Herbivore Protocol (Q3003428) (← links)
- Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall (Q3393383) (← links)
