Pages that link to "Item:Q3656768"
From MaRDI portal
The following pages link to Verification of Games in the Game Description Language (Q3656768):
Displaying 6 items.
- On axiomatization of epistemic GDL (Q1679805) (← links)
- Automated verification of state sequence invariants in general game playing (Q1761287) (← links)
- A class grammar for general games (Q1989586) (← links)
- Logical-epistemic foundations of general game descriptions (Q2016080) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- What's the name of the game? Formal specification of artificial intelligence games (Q2848439) (← links)