The following pages link to (Q4576181):
Displaying 4 items.
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866) (← links)
- A Refinement Framework for Autonomous Agents (Q5166667) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)