Reachability Games on Extended Vector Addition Systems with States

Tomás Brázdil Petr Jancar Antonín Kucera

Published in: CoRR (2010)

Keyphrases

state space
neural network
complex systems
information retrieval
expert systems
building blocks
learning systems
real time
information systems
management system
intelligent systems
knowledge based systems