Selective Approaches for Solving Weak Games

DOI10.1007/11901914_17zbMath1161.68569OpenAlexW1535172341MaRDI QIDQ3522910

Sven Schewe, Robert Mattmüller, Malte Helmert

Publication date: 4 September 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11901914_17

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Token Games and History-Deterministic Quantitative-Automata ⋮ Symbolic bounded synthesis

Uses Software

• SPIN
• MOCHA

This page was built for publication: Selective Approaches for Solving Weak Games