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):

Displaying 12 items.

• Parameterised verification for multi-agent systems (Q253980) (← links)
• Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← 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)
• Knowledge as strategic ability (Q2844048) (← links)
• Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic (Q3003427) (← links)
• Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (Q3192199) (← links)
• (Q4681373) (← links)
• Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Q5034220) (← links)
• (Q5151003) (← links)