Searching for "Model Checking Knowledge and Time." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Model Checking Knowledge and Time
- …Model Checking Knowledge and Time Wiebe van der Hoek y and Michael Wooldridge y Universiteit…
- Cited by 34 (7 self) – Add To MetaCart
-
Unbounded Model Checking for Knowledge and Time
- …Magdalena Kacprzak Alessio Lomuscio Wojciech Penczek Unbounded Model Checking for Knowledge…
- Cited by 2 (2 self) – Add To MetaCart
-
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
- …Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract) ? R. van der…
- Cited by 34 (4 self) – Add To MetaCart
-
MCK: Model checking the logic of knowledge
- … that time theoretical aspects of model checking the logic of knowledge and its combinations with temporal…
- Cited by 3 (0 self) – Add To MetaCart
-
F.: Automatic verification of knowledge and time with NuSMV
- … of model checking knowledge and time to the verification of a temporalonly model. [Wooldridge et al., 2002…
- Cited by 1 (1 self) – Add To MetaCart
-
Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation
- … independently released a tool (called MCK[17]) for model checking knowledge and time based on OBDD…
- Cited by 18 (5 self) – Add To MetaCart
Showing 1 through 6.
