Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games

Gijs Kant Jaco van de Pol

Published in: GRAPHITE (2012)

Keyphrases

distributed systems
cost effective
artificial intelligence
case study
cooperative
information retrieval systems
computer systems
computationally efficient
real valued
information systems
search algorithm
lightweight
learning systems
computer games
error correction