Ordered Tree-Pushdown Systems.

Lorenzo Clemente Pawel Parys Sylvain Salvati Igor Walukiewicz

Published in: FSTTCS (2015)

Keyphrases

real time
information retrieval
artificial intelligence
genetic algorithm
decision making
probabilistic model
software engineering
distributed systems
learning systems
complex systems
model checking