Pages that link to "Item:Q2386107"
From MaRDI portal
The following pages link to A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic (Q2386107):
Displaying 5 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Model checking and strategy synthesis for multi-agent systems for resource allocation (Q2154045) (← links)
- 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)
