scientific article

zbMath1229.91080MaRDI QIDQ3172532

Laurent Doyen, Jean-François Raskin

Publication date: 5 October 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Games involving graphs (91A43)

Related Items

Specification and Verification of Multi-Agent Systems, Efficient path planning algorithms in reach-avoid problems, Knowledge-based strategies for multi-agent teams playing against nature, Unnamed Item, Unnamed Item, Strategy synthesis for multi-dimensional quantitative objectives, Approximate verification of strategic abilities under imperfect information, Optimally Resilient Strategies in Pushdown Safety Games

Uses Software

• PGSolver