Pages that link to "Item:Q1383157"
From MaRDI portal
The following pages link to Common knowledge and update in finite environments (Q1383157):
Displaying 10 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)
- Knowledge Based Scheduling of Distributed Systems (Q3587250) (← links)
- Tableaux for logics of time and knowledge with interactions relating to synchrony (Q3647215) (← links)
- Second-order hyperproperties (Q6535541) (← links)
