Pages that link to "Item:Q2835866"

The following pages link to A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866):

Displaying 1 item.

• An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)