Parity Games on Bounded Phase Multi-pushdown Systems.

Mohamed Faouzi Atig Ahmed Bouajjani K. Narayan Kumar Prakash Saivasan

Published in: NETYS (2017)

Keyphrases

artificial intelligence
complex systems
data mining
expert systems
management system
knowledge based systems
databases
neural network
computer vision
information systems
game theory
video games