Efficient Parallel Strategy Improvement for Parity Games.

Published in: CAV (2) (2017)

Keyphrases

computationally expensive
error correction
database
data sets
learning algorithm
information systems
website
learning environment
lightweight
computationally efficient
parallel architectures
parallel execution
leader follower