Pages that link to "Item:Q2386107"

The following pages link to A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic (Q2386107):

Displayed 2 items.

• A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic (Q2386107) ‎ (← links)
• Model checking abilities of agents: a closer look (Q2481560) ‎ (← links)